✦ LIBER ✦

cβ-machine with λβ-reduction

✍ Scribed by Mohamed Mezghiche

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

λβ′ — A λ-calculus with a generalized β-

✍ Sundeep Oberoi 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 601 KB

Numeration Models of λβ-Calculus

✍ Akira Kanda 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 335 KB

Synthese de β-ethoxycarbonyl λ-lactones

✍ F. Gaudemar-Bardone; M. Mladenova; R. Couffignal 📂 Article 📅 1984 🏛 Elsevier Science 🌐 French ⚖ 120 KB

Unusual C-C cleavage during reduction of

✍ Jeremiah P. Freeman; Lloyd Laurian; Jacob Szmuszkovicz 📂 Article 📅 1999 🏛 Elsevier Science 🌐 French ⚖ 130 KB

Catalytic Asymmetric Conjugate Reduction

✍ Tomas Llamas; Ramon Gomez Arrayas; Juan C. Carretero 📂 Article 📅 2007 🏛 John Wiley and Sons ⚖ 37 KB 👁 1 views

Highly Enantioselective Conjugate Reduct

✍ Daehyung Lee; Daesung Kim; Jaesook Yun 📂 Article 📅 2006 🏛 John Wiley and Sons ⚖ 27 KB 👁 1 views