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)
Licence

Dates et versions

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

Licence

Identifiants

  • HAL Id : hal-00387064 , version 1

Citer

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

Partager

  • More