✦ LIBER ✦

An interpreter for slips—An applicative language based on LAMBDA-Calculus

✍ Scribed by Vijay Gehlot; Y.N. Srikant

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Nominal Lambda Calculus: An Internal Lan

✍ Crole, Roy L.; Nebel, Frank 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 386 KB

Abstraction on clinical data sequences:

✍ Carlo Combi; Luca Chittaro 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 968 KB

Analytical application for chemicals usi

✍ Hiromitsu Sakai; Noriaki Kaneki; Hiroshi Hara 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 259 KB

An integrated data base management syste

✍ J. S. Arora; S. Mukhopadhyay 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 872 KB

Stick-slip motion control based on cutte

✍ Fusaomi Nagata; Takanori Mizobuchi; Shintaro Tani; Tetsuo Hase; Zenku Haga; Keig 📂 Article 📅 2010 🏛 Springer Japan 🌐 English ⚖ 444 KB

An Improved Adaptive Feedforward Cancell

✍ Xiaoqin Zhou; Zhiwei Zhu; Shaoxin Zhao; Jieqiong Lin; Jianli Dou 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 209 KB