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