Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday

DOI10.1007/978-3-642-54789-8zbMath1284.03016DBLPconf/birthday/2014lambekOpenAlexW2492342898WikidataQ57006428 ScholiaQ57006428MaRDI QIDQ2444988

No author found.

Publication date: 11 April 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

Mathematics Subject Classification ID

Cryptography (94A60) Logic of natural languages (03B65) Festschriften (00B30) Categorical logic, topoi (03G30) Grammars and rewriting systems (68Q42) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Proof Nets for the Displacement Calculus

This page was built for publication: Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday