Pages that link to "Item:Q5014591"
From MaRDI portal
The following pages link to Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics (Q5014591):
Displaying 11 items.
- Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets (Q5014592) (← links)
- Sheaf Representations and Duality in Logic (Q5014593) (← links)
- On the Naturalness of Mal’tsev Categories (Q5014594) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
- The Mathematics of Text Structure (Q5014597) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Morphisms of Rings (Q5014599) (← links)
- Pomset Logic (Q5014600) (← links)
- Pregroup Grammars, Their Syntax and Semantics (Q5014601) (← links)
- The Sequent Calculus of Skew Monoidal Categories (Q5014602) (← links)
