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

Persistent URL (handle)

@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",

}

TY - GEN

T1 - Constructor subtyping in the Calculus of Inductive Constructions.

AU - Barthe, G.

AU - van Raamsdonk, F.

PY - 2000

Y1 - 2000

UR - https://www.scopus.com/pages/publications/84878642534

UR - https://www.scopus.com/inward/citedby.url?scp=84878642534&partnerID=8YFLogxK

M3 - Conference contribution

SP - 17

EP - 34

BT - Proceedings of FOSSACS 2000

A2 - Tiuryn, J.

PB - Springer Verlag

CY - Berlin, Germany

T2 - FOSSACS '00

Y2 - 1 January 2000 through 1 January 2000

ER -