a paper extracted from my master's thesis on categorial grammar
-
Updated
Oct 8, 2018 - TeX
#
categorial-grammar
Here are 12 public repositories matching this topic...
a formalisation of the theory of pregoups as described by Lambek in Agda
-
Updated
Oct 8, 2018 - Agda
wherein I blabber about data-oriented parsing and categorial grammars
-
Updated
Oct 8, 2018 - Makefile
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
-
Updated
Jan 22, 2020 - Prolog
Grail is a theorem prover for multimodal type-logical grammars
-
Updated
Feb 11, 2021 - Prolog
Light-weight chart parser for multimodal type-logical grammars
parser
natural-language-processing
parsing
logic-programming
natural-language-understanding
categorial-grammar
chart-parser
logical-grammars
-
Updated
Apr 27, 2021 - Prolog
-
Updated
Feb 13, 2022
Constructive categorial grammar supertagging with (pick any of: [heterogeneous | dynamic | attentive | structure-aware]) graph convolutions.
-
Updated
Jul 21, 2022 - Python
A* CCG Parser with a Supertag and Dependency Factored Model
-
Updated
Aug 26, 2023 - Jsonnet
Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.
lambda-calculus
corpus
dutch
natural-deduction
categorial-grammar
linear-logic
alpino
lassy
proof-net
type-logical-grammar
aethel-dataset
-
Updated
Nov 24, 2023 - Python
Python datatype declarations, (de)serializers and miscellaneous functions for the ABC Treebank and related projects
-
Updated
Jan 21, 2024 - Python
A framework for natural language syntax and semantics based on type theory.
-
Updated
Feb 28, 2024 - Haskell
Improve this page
Add a description, image, and links to the categorial-grammar topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the categorial-grammar topic, visit your repo's landing page and select "manage topics."