𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Syntactic Type Soundness Results for the Region Calculus

✍ Scribed by Cristiano Calcagno; Simon Helsen; Peter Thiemann

Book ID
112252684
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
206 KB
Volume
173
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Syntactic Type Soundness for HM(X)
Syntactic Type Soundness for HM(X)
✍ Christian Skalka; FranΓ§ois Pottier πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 732 KB
A Concrete Categorical Model for the Lam
A Concrete Categorical Model for the Lambek Syntactic Calculus
✍ 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