Some Algebraic Structures in Lambda-Calculus with Inductive Types

Type de document :
Communication dans un congrès
TYPES, Apr 2003, Italy. pp.338-354, 2004, 〈10.1007/978-3-540-24849-1_22〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00782718
Contributeur : David Chemouil <>
Soumis le : mercredi 30 janvier 2013 - 14:38:00
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02

Identifiants

Collections

Citation

Sergei Soloviev, David Chemouil. Some Algebraic Structures in Lambda-Calculus with Inductive Types. TYPES, Apr 2003, Italy. pp.338-354, 2004, 〈10.1007/978-3-540-24849-1_22〉. 〈hal-00782718〉

Partager

Métriques

Consultations de la notice

79