A Lambek Calculus with Dependent Types

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

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

Cite this