Objects and subtyping in the lambda-Pi-calculus modulo

Abstract : Encoding of an object calculus in the lambda-Pi-calculus modulo
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01126394
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:53:34 AM
Last modification on : Saturday, February 9, 2019 - 1:25:11 AM

Identifiers

  • 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. ⟨hal-01126394⟩

Share

Metrics

Record views

108