Type Similarity for the Lambek-Grishin Calculus Revisited

DOI10.1007/978-3-642-54789-8_3zbMath1286.03078OpenAlexW193698152MaRDI QIDQ5414956

Arno Bastenhof

Publication date: 8 May 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54789-8_3

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Symmetric categorial grammar
• An Algorithmic Interpretation of a Deep Inference System
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Type Similarity for the Lambek-Grishin Calculus Revisited