https://github.com/konstantinoskokos/aethel

A packaging of tools for expressing dependency graphs as typed derivations of a categorial grammar.

alpino categorial-grammar corpus dutch lambda-calculus lassy linear-logic natural-deduction proof-net type-logical-grammar

Last synced: 10 Oct 2025