✦ LIBER ✦

Proofs, Programs, Processes

✍ Scribed by Ulrich Berger, Monika Seisenberger

Book ID: 113023317
Publisher: Springer
Year: 2011
Tongue: English
Weight: 609 KB
Volume: 51
Category: Article
ISSN: 1433-0490
DOI: 10.1007/s00224-011-9325-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Programs, Proofs, Processes

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

Proofs and Programs

✍ Giuseppe Longo 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 174 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

Proofs as processes

✍ Samson Abramsky 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 357 KB

Programs as proofs: a synopsis

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

Formal polytypic programs and proofs

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