Transport of finiteness structures and applications - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2018

Transport of finiteness structures and applications

Christine Tasson
  • Fonction : Auteur
  • PersonId : 865456
Lionel Vaux

Résumé

We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction to prove the existence of least fixpoints for particular functors in the category of finiteness spaces: these include the functors involved in a relational interpretation of lazy recursive algebraic datatypes along the lines of the coherence semantics of system T.
Fichier principal
Vignette du fichier
fin-alg.pdf (550.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00475004 , version 1 (21-04-2010)
hal-00475004 , version 2 (13-12-2016)

Identifiants

Citer

Christine Tasson, Lionel Vaux. Transport of finiteness structures and applications. Mathematical Structures in Computer Science, 2018, ⟨10.1017/S0960129516000384⟩. ⟨hal-00475004v2⟩
195 Consultations
209 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More