Multi-dimensional Type Theory: Rules, Categories and Combinators for Syntax and Semantics

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Original languageEnglish
Title of host publicationConstraints and Language
EditorsPhilippe Blache, Henning Christiansen, Verónica Dahl, Denys Duchier, Jørgen Villadsen
PublisherCambridge Scholars Press
Publication date2014
ISBN (Print)1-4438-6052-2, 978-1-4438-6052-9
Publication statusPublished - 2014

Cite this