Higher-order Linear Logic Programming of Categorial Deduction

Glyn Morrill. Higher-order Linear Logic Programming of Categorial Deduction. In EACL. pages 133-140, 1995. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.