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

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00759895
Author Moortgat, Michael, Moot, Richard
Maintainer CCSD
Last Updated June 2, 2026, 21:27 (UTC)
Created June 2, 2026, 21:27 (UTC)
Identifier hal-00759895
Language en
contributor Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)
creator Moortgat, Michael
date 2011-12-29T00:00:00
harvest_object_id 2a6b342b-e2b6-4eec-b488-841e0ef2cb62
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-05-26T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1112.6384
set_spec type:UNDEFINED