A Concrete Categorical Model for the Lambek Syntactic Calculus

DOI10.1002/MALQ.19970430107zbMath0862.03043OpenAlexW2102941940MaRDI QIDQ4333469

Marcelo da Silva Corrêa, Edward Hermann Haeusler

Publication date: 25 May 1997

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19970430107

zbMATH Keywords

semanticstyped lambda calculussequential productcategorical modelLambek syntactic calculusCurry-Howard isomorphic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Structure of proofs (03F07) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Quantales and (noncommutative) linear logic
• Unnamed Item
• Unnamed Item

This page was built for publication: A Concrete Categorical Model for the Lambek Syntactic Calculus