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