Higher-order Linear Logic Programming of Categorial Deduction

Glyn Morrill |

Paper Details:

Month: March
Year: 1995
Location: Dublin, Ireland
Venue: EACL |