Dataset - CKAN

Proof nets for the Lambek-Grishin calculus

Revised version to appear as a chapter in E. Grefenstette, C. Heunen, and M. Sadrzadeh (eds.) 'Compositional Methods in Physics and Linguistics', Oxford University Press
- HTML

You can also access this registry using the API (see API Docs).