On Subtyping in Type Theories with Canonical Objects

Georgiana Lungu, Zhaohui Luo

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

Original languageEnglish
Title of host publicationTypes for Proofs and Programs
Subtitle of host publicationPost-proceedings of the 22nd Int. Conf. on Types for Proofs and Programs (TYPES 2016)
PublisherLeibniz International Proceedings in Informatics
Number of pages31
ISBN (Electronic)978-3-95977-065-1
Publication statusPublished - Nov 2018

Cite this