✦ LIBER ✦

Formal SOS-Proofs for the Lambda-Calculus

✍ Scribed by Christian Urban; Julien Narboux

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructive proofs of the range propert

✍ Henk Barendregt 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 598 KB

A formal framework for specifying sequen

✍ Miller, Dale; Pimentel, Elaine 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 479 KB

A new formalization of a meta-game using

✍ Gen Masumoto; Takashi Ikegami 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 285 KB

Formal Proofs for the Security of Signcr

✍ Joonsang Baek; Ron Steinfeld; Yuliang Zheng 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 364 KB

Continuation Models for the Lambda Calcu

✍ Petit, Barbara 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 285 KB

Continuous normalization for the lambda-

✍ Klaus Aehlig; Felix Joachimski 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 358 KB