✦ LIBER ✦

De Bruijn's syntax and reductional behaviour of λ-terms: the typed case

✍ Scribed by Fairouz Kamareddine; Roel Bloo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

De Bruijn's syntax and reductional behav

✍ Fairouz Kamareddine; Roel Bloo 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 326 KB

λ-Equidistributed sequences of partition

✍ Franco Chersi; Aljoša Volčič 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 478 KB

Anatomically correct reduction and fixat

✍ Kunio Saiki; Shigeru Hirabayashi; Toshihiro Horie; Nobuyuki Tsuzuki; Kouichi Ino 📂 Article 📅 2002 🏛 Springer Japan 🌐 English ⚖ 150 KB

MAGNA CARTAThe Great CharterPreamble

📂 Fiction 🌐 English ⚖ 11 KB 👁 18 views