Constructor subtyping in the Calculus of Inductive Constructions.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of FOSSACS 2000
Editors	J. Tiuryn
Place of Publication	Berlin, Germany
Publisher	Springer Verlag
Pages	17-34
Publication status	Published - 2000
Event	FOSSACS '00 - Berlin, Germany Duration: 1 Jan 2000 → 1 Jan 2000

Conference	FOSSACS '00
Period	1/01/00 → 1/01/00

Handle.net

@inproceedings{76a15c2be18c4100bd9d399ff0061b7d,

title = "Constructor subtyping in the Calculus of Inductive Constructions.",

author = "G. Barthe and {van Raamsdonk}, F.",

year = "2000",

language = "English",

pages = "17--34",

editor = "J. Tiuryn",

booktitle = "Proceedings of FOSSACS 2000",

publisher = "Springer Verlag",

note = "FOSSACS '00 ; Conference date: 01-01-2000 Through 01-01-2000",

}