Term-labeled categorial type systems (1994)

by Richard T Oehrle
Venue:Linguistics and Philosophy