A framework for natural language syntax and semantics based on type theory.
-
Updated
Feb 28, 2024 - Haskell
A framework for natural language syntax and semantics based on type theory.
Python datatype declarations, (de)serializers and miscellaneous functions for the ABC Treebank and related projects
Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.
A* CCG Parser with a Supertag and Dependency Factored Model
Constructive categorial grammar supertagging with (pick any of: [heterogeneous | dynamic | attentive | structure-aware]) graph convolutions.
Light-weight chart parser for multimodal type-logical grammars
Grail is a theorem prover for multimodal type-logical grammars
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
wherein I blabber about data-oriented parsing and categorial grammars
a formalisation of the theory of pregoups as described by Lambek in Agda
a paper extracted from my master's thesis on categorial grammar
Add a description, image, and links to the categorial-grammar topic page so that developers can more easily learn about it.
To associate your repository with the categorial-grammar topic, visit your repo's landing page and select "manage topics."