Type-Theoretical Grammar (1995)

by Aarne Ranta