Displacement Games as a model of linear logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2000

Displacement Games as a model of linear logic

Abstract

Given any cartesian closed category (standard model of the lambda calculus), we construct a certain category from it, whose objects we call displacement games, and show it is a model of linear logic (in other words, a *-autonomous category). We show that the construction has points in common with the Dialectica and Chu constructions, but that its closest relative is Läuchli semantics.
No file

Dates and versions

inria-00099330 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099330 , version 1

Cite

François Lamarche. Displacement Games as a model of linear logic. [Intern report] A00-R-379 || lamarche00b, 2000, 6 p. ⟨inria-00099330⟩
88 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More