2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Arno Bastenhof
Categorial type logics, pioneered by Lambek, seek a proof-theoretic understanding of natural language syntax by identifying categories with formulas and derivations with proofs. We…