Term-labeled categorial type systems (1994)

by R Oehrle
Venue:Linguistics and Philosophy