✦ LIBER ✦

Programs, Proofs, Processes

✍ Scribed by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo

Book ID: 113023335
Publisher: Springer
Year: 2012
Tongue: English
Weight: 181 KB
Volume: 51
Category: Article
ISSN: 1433-0490
DOI: 10.1007/s00224-012-9398-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proofs, Programs, Processes

✍ Ulrich Berger, Monika Seisenberger 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 609 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