On Subtyping in Type Theories with Canonical Objects

Georgiana Lungu; Zhaohui Luo

doi:10.4230/LIPIcs.TYPES.2016.13

On Subtyping in Type Theories with Canonical Objects

Georgiana Lungu
, Zhaohui Luo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Types for Proofs and Programs
Subtitle of host publication	Post-proceedings of the 22nd Int. Conf. on Types for Proofs and Programs (TYPES 2016)
Publisher	Leibniz International Proceedings in Informatics
Pages	13:1-13:31
Number of pages	31
Volume	97
ISBN (Electronic)	978-3-95977-065-1
DOIs	https://doi.org/10.4230/LIPIcs.TYPES.2016.13
Publication status	Published - Nov 2018

Access to Document

10.4230/LIPIcs.TYPES.2016.13Licence: CC BY

Cite this

@inproceedings{ad2c9cde92ad4b98b899e3e0568f3c64,

title = "On Subtyping in Type Theories with Canonical Objects",

author = "Georgiana Lungu and Zhaohui Luo",

year = "2018",

month = nov,

doi = "10.4230/LIPIcs.TYPES.2016.13",

language = "English",

volume = "97",

pages = "13:1--13:31",

booktitle = "Types for Proofs and Programs",

publisher = "Leibniz International Proceedings in Informatics",

}

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 proceeding › Conference contribution