Skip to Main content Skip to Navigation
New interface

Displacement Games as a model of linear logic

François Lamarche 1 
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Complete list of metadata
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 8:52:58 AM
Last modification on : Thursday, October 27, 2022 - 1:45:02 PM


  • HAL Id : inria-00099330, version 1


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



Record views