[CAD14] Objects and subtyping in the lambda-Pi-calculus modulo,

Conférence Internationale avec comité de lecture : TYPES 2014, May 2014, pp.2, Paris, France,

Auteurs: R. Cauderlier , A. Assaf , C. Dubois

motcle:

Résumé: Encoding of an object calculus in the lambda-Pi-calculus modulo

Equipe: sys

Collaboration: INRIA

BibTeX

@inproceedings {
	CAD14,
	title	=	"{Objects and subtyping in the lambda-Pi-calculus modulo,}",
	author	=	" R. Cauderlier and A. Assaf and C. Dubois ",
	booktitle	=	"{TYPES 2014}",
	year	=	2014,
	month	=	"May",
	pages	=	"2",
	address	=	"Paris, France",
}