Toggle navigation
OpenReview
.net
Login
×
Go to
DBLP
homepage
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
Richard Moot
Published: 01 Jan 2021, Last Modified: 16 Jan 2025
undefined 2021
Everyone
Revisions
BibTeX
CC BY-SA 4.0
Loading