type-logical-grammar

There are 0 repository under type-logical-grammar topic.

• konstantinosKokos / aethel

  Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.

  lassytype-logical-grammarcategorial-grammardutchlinear-logiclambda-calculusalpinocorpusnatural-deductionproof-netaethel-dataset
  Language:Python 4

• konstantinosKokos / neural-proof-nets

  A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.

  sinkhornproverlinear-logicparserproof-nettype-logical-grammardutchlambda-calculus
  Language:Python 3

• konstantinosKokos / dynamic-graph-supertagging

  Constructive categorial grammar supertagging with (pick any of: [heterogeneous | dynamic | attentive | structure-aware]) graph convolutions.

  categorial-grammarccggnnopen-set-classificationsotasupertaggingtype-logical-grammar
  Language:Python 2