✦ LIBER ✦

Proofs and Programs

✍ Scribed by Giuseppe Longo

Book ID: 110415461
Publisher: Springer Netherlands
Year: 2003
Tongue: English
Weight: 174 KB
Volume: 134
Category: Article
ISSN: 0039-7857
DOI: 10.1023/a:1022135614184

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proofs, Programs, Processes

✍ Ulrich Berger, Monika Seisenberger 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 609 KB

Programs, Proofs, Processes

✍ Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 181 KB

Formal polytypic programs and proofs

✍ VERBRUGGEN, WENDY; DE VRIES, EDSKO; HUGHES, ARTHUR 📂 Article 📅 2010 🏛 Cambridge University Press 🌐 English ⚖ 335 KB

Eliminating Proofs from Programs

✍ Femke van Raamsdonk; Paula Severi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 207 KB

This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need to be removed. This is done by a reduction relation → . We study the combination of β-reduction and -reduction, both in

Programs as proofs: a synopsis

✍ Robert L. Constable 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 639 KB

Correctness proofs of CSP programs

✍ N. Soundararajan 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 948 KB