✦ LIBER ✦

A calculus of semantic values

✍ Scribed by Benny Shanon

Publisher: Springer Netherlands
Year: 1982
Tongue: English
Weight: 700 KB
Volume: 52
Category: Article
ISSN: 0039-7857
DOI: 10.1007/bf00869197

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Petri nets semantics of π-calculus

✍ Zhenhua Yu; Yuanli Cai; Haiping Xu 📂 Article 📅 2008 🏛 SP Higher Education Press 🌐 English ⚖ 276 KB

Space-Profiling Semantics of the Call-by

Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation

✍ Yasuhiko Minamide 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 807 KB

Towards a denotational semantics of time

Towards a denotational semantics of timed RSL using duration calculus

✍ Li Li 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 721 KB

A semantic characterization of the well-

A semantic characterization of the well-typed formulae of λ-calculus

✍ Thomas Forster 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 901 KB

Decidability of mean value calculus

✍ Xiaoshan Li 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 514 KB

A Labelled Deductive System for Relation

A Labelled Deductive System for Relational Semantics of the Lambek Calculus

✍ Miroslawa Kolowska-Gawiejnowicz 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 484 KB

We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.