Categorical models of linear logic revisited - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2003

Categorical models of linear logic revisited

Paul-André Melliès

Résumé

In this survey, we review the existing categorical axiomatizations of linear logic, with a special emphasis on Seely and Lafont presentations. In a first part, we explain why Benton, Bierman, de Paiva and Hyland had to replace Seely categories by a more complicated axiomatization, and how a while later, Benton managed to simplify this axiomatization. In a second part, we show how Lafont axiomatization may be relaxed, in order to admit exponential interpretations different from the free one. Finally, we illustrate with a few examples what categorical models can teach us about linear logic and its models.
Fichier principal
Vignette du fichier
catmodels.pdf (318.22 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00154229 , version 1 (13-06-2007)

Identifiants

  • HAL Id : hal-00154229 , version 1

Citer

Paul-André Melliès. Categorical models of linear logic revisited. 2003. ⟨hal-00154229⟩
226 Consultations
1150 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More