conftrace_

linear logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

neuro-symbolic parsing (1) proof net (1) sinkhorn network (1) type-logical grammar (1) neural proof net (1) linear lambda calculus (1) syntactic analysis (1)

Papers

Neural Proof Nets CoNLL 2020