On Subtyping in Type Theories with Canonical Objects. / Lungu, Georgiana; Luo, Zhaohui.

Types for Proofs and Programs: Post-proceedings of the 22nd Int. Conf. on Types for Proofs and Programs (TYPES 2016). Vol. 97 Leibniz International Proceedings in Informatics, 2018. p. 13:1-13:31 13.

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

Published
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
Pages13:1-13:31
Number of pages31
Volume97
ISBN (Electronic)978-3-95977-065-1
DOIs
Publication statusPublished - Nov 2018
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 30843197