Coercive subtyping in type theory. / Luo, Z.
CSL'96, LNCS'1258. 1997.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Standard
Coercive subtyping in type theory. / Luo, Z.
CSL'96, LNCS'1258. 1997.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Harvard
Luo, Z 1997, Coercive subtyping in type theory. in CSL'96, LNCS'1258.
APA
Luo, Z. (1997). Coercive subtyping in type theory. In CSL'96, LNCS'1258
Vancouver
Luo Z. Coercive subtyping in type theory. In CSL'96, LNCS'1258. 1997
Author
BibTeX
@inproceedings{868bc28b83f74ad89286beea62590e72,
title = "Coercive subtyping in type theory",
author = "Z. Luo",
year = "1997",
language = "English",
booktitle = "CSL'96, LNCS'1258",
}
RIS
TY - GEN
T1 - Coercive subtyping in type theory
AU - Luo, Z.
PY - 1997
Y1 - 1997
M3 - Conference contribution
BT - CSL'96, LNCS'1258
ER -