Coercive subtyping in type theory. / Luo, Z.

CSL'96, LNCS'1258. 1997.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Coercive subtyping in type theory. / Luo, Z.

CSL'96, LNCS'1258. 1997.

Research output: Chapter in Book/Report/Conference proceedingConference 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

Luo, Z. / Coercive subtyping in type theory. CSL'96, LNCS'1258. 1997.

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 -