✦ LIBER ✦

Consistency argument and classification problem in λ-calculus

✍ Scribed by Ju Wang; Xishun Zhao; Qieyuan Huang; Ying Jiang

Book ID: 105655834
Publisher: SP Science China Press
Year: 1999
Tongue: English
Weight: 200 KB
Volume: 42
Category: Article
ISSN: 1006-9321
DOI: 10.1007/bf02917403

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The basis decision problem in λ-calculus

✍ Benedetto Intrigila 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 135 KB

## Abstract We show that the problem of deciding if a finite set of closed terms in normal form is a basis is recursively unsolvable. The restricted problem concerning one element sets is still recursively unsolvable. MSC: 03B40, 03D35.

An Essay in λ-Calculus

✍ Corrado Pasquali 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB

Consistency checks in the ΛCDM: transpar

Consistency checks in the ΛCDM: transparency, BAO scale and Λ-domination

✍ Anastasios Avgoustidis 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 209 KB

Termination, deadlock and divergence in

Termination, deadlock and divergence in the λ-calculus with multiplicities

✍ Gerard Boudol; Cosimo Laneve 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 730 KB

[Lecture Notes in Mathematics] Stochasti

[Lecture Notes in Mathematics] Stochastic Calculus with Infinitesimals Volume 2067 || Infinitesimal Calculus, Consistently and Accessibly

✍ Herzberg, Frederik 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 102 KB

The Practice of Finitism: Epsilon Calcul

The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program

✍ Richard Zach 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 299 KB