Typed Operational Semantics for Dependent Record Types. / Feng, Yangyue; Luo, Zhaohui.

Proceedings of Types for Proofs and Programs (TYPES'09), EPTCS 53. 2011.

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

Published
Original languageEnglish
Title of host publicationProceedings of Types for Proofs and Programs (TYPES'09), EPTCS 53
Publication statusPublished - 2011

ID: 1774237