Subtyping in Type Theory: Coercion Contexts and Local Coercions. / Luo, Zhaohui; Part, Fjodor.

2013. Abstract from TYPES 2013, France.

Research output: Contribution to conferenceAbstractpeer-review

Published
Original languageEnglish
Publication statusPublished - 2013
EventTYPES 2013 - , France
Duration: 22 Apr 2013 → …

Conference

ConferenceTYPES 2013
CountryFrance
Period22/04/13 → …

ID: 23230553