A Concrete Categorical Model for the Lam
β
Marcelo Da Silva CorrΓͺa; Edward Hermann Haeusler
π
Article
π
1997
π
John Wiley and Sons
π
English
β 530 KB
## Abstract We present a categorical/denotational semantics for the Lambek Syntactic Calculus (LSC), indeed for a Ξ»lDβtyped version CurryβHoward isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It