✦ LIBER ✦

A lambda-calculus model of programming languages—II. Jumps and procedures

✍ Scribed by S.Kamal Abdali

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A lambda-calculus model of programming l

✍ S.Kamal Abdali 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 904 KB

A consistent extension of the lambda-cal

✍ Klaus J. Berkling; Elfriede Fehr 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 504 KB

One method of defining the semantics of

✍ V. N. Domrachev; Yu. V. Kapitonova; L. G. Samoilenko 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 632 KB

Procedural and non-procedural query lang

✍ Gary W. Hansen; James V. Hansen 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 640 KB

A classroom-based model of language inte

✍ Diane Paul-Brown 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 834 KB

Description of EduCOM: A graphical model

✍ Jake Gunther; Brandon Eames; Darin Nelson 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 276 KB 👁 1 views