Grammatical Framework: A Type-Theoretical Grammar Formalism (2004)

by A Ranta
Venue:The Journal of Functional Programming