konstantinosKokos / aethel Star 4 Code Issues Pull requests λ A packaging of tools for expressing dependency graphs as typed derivations of a categorial grammar. lambda-calculus corpus dutch natural-deduction categorial-grammar linear-logic alpino lassy proof-net type-logical-grammar Updated Nov 24, 2023 Python
konstantinosKokos / dynamic-graph-supertagging Star 2 Code Issues Pull requests Constructive categorial grammar supertagging with (pick any of: [heterogeneous | dynamic | attentive | structure-aware]) graph convolutions. ccg categorial-grammar sota gnn type-logical-grammar supertagging open-set-classification Updated Jul 21, 2022 Python
ABCTreebank / abctk.obj Star 0 Code Issues Pull requests Python datatype declarations, (de)serializers and miscellaneous functions for the ABC Treebank and related projects tree-structure categorial-grammar Updated Jan 21, 2024 Python