A Non-Uniform Finitary Relational Semantics of System T - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

A Non-Uniform Finitary Relational Semantics of System T

Lionel Vaux

Résumé

We study iteration and recursion operators in the denotational semantics of typed λ-calculi derived from the multiset relational model of linear logic. Although these operators are defined as fixpoints of typed functionals, we prove them finitary in the sense of Ehrhard's finiteness spaces.
Fichier principal
Vignette du fichier
rel-T.pdf (180.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01264690 , version 1 (29-01-2016)

Licence

CC0 - Transfert dans le Domaine Public

Identifiants

  • HAL Id : hal-01264690 , version 1

Citer

Lionel Vaux. A Non-Uniform Finitary Relational Semantics of System T. 6th Workshop on Fixed Points in Computer Science (FICS'09), Sep 2009, Coimbra, Portugal. ⟨hal-01264690⟩
49 Consultations
217 Téléchargements

Partager

Gmail Facebook X LinkedIn More