✦ LIBER ✦

The Simple Type Theory of Normalisation by Evaluation

✍ Scribed by René Vestergaard

Book ID: 108498211
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 401 KB
Volume: 57
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00272-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The `Type-Theory' of the Simple Reaction

✍ E. B. Titchener 📂 Article 📅 1896 🏛 Oxford University Press 🌐 English ⚖ 253 KB

The Type-Theory of the Simple Reaction

✍ E. B. Titchener 📂 Article 📅 1895 🏛 Oxford University Press 🌐 English ⚖ 785 KB

Torsion theories of simple type

✍ Richard Bronowitz; Mark L. Teply 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 784 KB

The seven virtues of simple type theory

✍ William M. Farmer 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 243 KB

Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys the virtues of simple type theory and attempts to show that simple type theory is an attractive alternative to first-order

Normalisation of the smooth focus–focus:

Normalisation of the smooth focus–focus: a simple proof

✍ Marc Chaperon 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 344 KB

A System of Simple Type Theory with Type

A System of Simple Type Theory with Type Variables.by Shôji Maehara

✍ Review by: Bede Rundle 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 151 KB