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

by A Ranta
Venue:Journal of Functional Programming,