A non-uniform finitary relational semantics of System T

Abstract : 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.
Type de document :
Article dans une revue
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2013, 6th Workshop on Fixed Points in Computer Science (FICS'09), 47 (1), pp.111 - 132. 〈10.1051/ita/2012031〉
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01264669
Contributeur : Lionel Vaux Auclair <>
Soumis le : mardi 2 février 2016 - 15:14:33
Dernière modification le : jeudi 18 janvier 2018 - 02:09:57

Fichier

rel-T-extended.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Licence


Distributed under a Creative Commons CC0 - Transfert dans le Domaine Public 4.0 International License

Identifiants

Collections

Citation

Lionel Vaux. A non-uniform finitary relational semantics of System T . RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2013, 6th Workshop on Fixed Points in Computer Science (FICS'09), 47 (1), pp.111 - 132. 〈10.1051/ita/2012031〉. 〈hal-01264669〉

Partager

Métriques

Consultations de la notice

437

Téléchargements de fichiers

41