Coercive subtyping in type theory. / Luo, Z.

CSL'96, LNCS'1258. 1997.

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

Published
Original languageEnglish
Title of host publicationCSL'96, LNCS'1258
Publication statusPublished - 1997

ID: 1774629