Coercive subtyping in type theory

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

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

Cite this