Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars

Richard Moot. Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars. 2021. [doi]

Abstract

Abstract is missing.