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.
Type de document :
Rapport
[Intern report] A00-R-379 || lamarche00b, 2000, 6 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099330
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:52:58
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00099330, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

117