✦ LIBER ✦

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

✍ Scribed by Thomas Forster

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 901 KB
Volume: 110
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90014-k

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantics of the typed λ-calculus with s

Semantics of the typed λ-calculus with substitution in a cartesian closed category

✍ John W. Gray 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 994 KB

A characterization of type-1 λ-designs

✍ W.G Bridges 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 256 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.

A determination of the Λ-nuclear potenti

A determination of the Λ-nuclear potential well-depth

✍ J. Lemonne; C. Mayeur; J. Sacton; P. Vilain; G. Wilquet; D. Stanley; P. Allen; D 📂 Article 📅 1965 🏛 Elsevier Science ⚖ 282 KB

Tragedy and the sacred: Notes towards a

Tragedy and the sacred: Notes towards a semantic characterization of a fictional genre

✍ Thomas G. Pavel 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 926 KB

A comparison of the geometrical sequence

A comparison of the geometrical sequence formula and the well-tempered formulas for generating GTO basis orbital exponents

✍ S. Huzinaga; B. Miguel 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 205 KB

The geometrical sequence formula to generate orbital exponents of GTO basis sets is compared with other two generating formulas termed as well-tempered, for atoms from He to Cd.