✦ LIBER ✦

Decidability of the restriction equational theory in the partial lambda calculus

✍ Scribed by Ramón Pino Perez

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

On the theory of the operational calculu

✍ V.A. Ditkin; A.P. Prudnikov 📂 Article 📅 1963 🏛 Elsevier Science ⚖ 908 KB

The Calculus of Partial Predicates and I

✍ Hao Wang 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 368 KB 👁 1 views

Feasible minimax estimators in the simul

✍ Bernhard Schipp; Helge Toutenburg 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 365 KB

Differential equation models in the ligh

✍ Kyösti Tarvainen 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 594 KB

A contribution to the analytic theory of

✍ David Colton 📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 841 KB