Coherent and finiteness spaces - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Logical Methods in Computer Science Année : 2011

Coherent and finiteness spaces

Pierre Hyvernat

Résumé

This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from COH to FIN commuting with the additive and multiplicative structure of linear logic. What makes this correspondence possible and conceptually interesting is the use of the infinite Ramsey theorem. Along the way, the question of the cardinality of the collection of finiteness spaces on N is answered. Basic knowledge about coherent spaces and finiteness spaces is assumed.
Fichier principal
Vignette du fichier
lmcs-coherence.pdf (116.13 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00387650 , version 1 (25-05-2009)
hal-00387650 , version 2 (03-11-2009)
hal-00387650 , version 3 (26-07-2010)
hal-00387650 , version 4 (31-07-2011)

Identifiants

Citer

Pierre Hyvernat. Coherent and finiteness spaces. Logical Methods in Computer Science, 2011, 7 (3), paper 15. ⟨10.2168/LMCS-7(3:15)2011⟩. ⟨hal-00387650v4⟩
96 Consultations
201 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More