A Lambek Calculus with Dependent Types. / Luo, Zhaohui.

Types for Proofs and Programs. 2015.

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

Published
Original languageEnglish
Title of host publicationTypes for Proofs and Programs
Publication statusPublished - 2015

ID: 24726807