Primitive recursion in finiteness spaces - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Primitive recursion in finiteness spaces

Résumé

We study iteration and recursion operators in the multiset relational model of linear logic and prove them finitary in the sense of the finiteness spaces recently introduced by Ehrhard. This provides a denotational semantics of Gödel's system T and paves the way for a systematic study of a large class of algorithms, following the ideas of Girard's quantitative semantics in a standard algebraic setting.
Fichier principal
Vignette du fichier
fin-iter.pdf (339.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00387064 , version 1 (22-05-2009)

Identifiants

  • HAL Id : hal-00387064 , version 1

Citer

Lionel Vaux. Primitive recursion in finiteness spaces. Types 2009, May 2009, Aussois, France. ⟨hal-00387064⟩
80 Consultations
36 Téléchargements

Partager

Gmail Facebook X LinkedIn More