Objects and subtyping in the lambda-Pi-calculus modulo

Abstract : Encoding of an object calculus in the lambda-Pi-calculus modulo
Type de document :
Communication dans un congrès
TYPES 2014, May 2014, Paris, France. pp.2, 2014
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01126394
Contributeur : Laboratoire Cedric <>
Soumis le : vendredi 6 mars 2015 - 11:53:34
Dernière modification le : mardi 10 juillet 2018 - 17:02:04

Identifiants

  • HAL Id : hal-01126394, version 1

Collections

Citation

Raphaël Cauderlier, Ali Assaf, Catherine Dubois. Objects and subtyping in the lambda-Pi-calculus modulo. TYPES 2014, May 2014, Paris, France. pp.2, 2014. 〈hal-01126394〉

Partager

Métriques

Consultations de la notice

97