✦ LIBER ✦

Deforestation, program transformation, and cut-elimination

✍ Scribed by Robin Cockett

Book ID: 108498398
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 297 KB
Volume: 44
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80904-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cut-elimination and Redundancy-eliminati

Cut-elimination and Redundancy-elimination by Resolution

✍ Matthias Baaz; Alexander Leitsch 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 379 KB

Cut-Elimination: Syntax and Semantics

✍ Baaz, M.; Leitsch, A. 📂 Article 📅 2014 🏛 Springer Netherlands 🌐 English ⚖ 306 KB

Cut Elimination in ε-Calculi

✍ Mitsuru Yasuhara 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 410 KB

WESSELS considered in [8] cut elimination in a Gentzen-style &-calculus without equality. But MINC pointed out in [6] that the proof in [8] is defective and mentions that the cut elimination theorem in a modified system can be proved model-theoretically. The work in 3 1, perhaps, carries out exactly

Indexed systems of sequents and cut-elim

Indexed systems of sequents and cut-elimination

✍ Grigori Mints 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 243 KB

A Connection Between Cut Elimination and

A Connection Between Cut Elimination and Normalization

✍ Mirjana Borisavljević 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 323 KB

Cut-Elimination and Quantification in Ca

Cut-Elimination and Quantification in Canonical Systems

✍ Anna Zamansky; Arnon Avron 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 310 KB