✦ LIBER ✦

Lambda calculus as a workflow model

✍ Scribed by Peter M. Kelly; Paul D. Coddington; Andrew L. Wendelborn

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Approach for workflow modeling using π-c

✍ Yang Dong; Zhang Shen-sheng 📂 Article 📅 2003 🏛 SP Zhejiang University Press 🌐 English ⚖ 683 KB

Bacteriophage lambda as a model system

✍ Allan M. Campbell 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 526 KB

A call-by-name lambda-calculus machine

✍ Jean-Louis Krivine 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 253 KB

State-transition machines for lambda-cal

✍ David A. Schmidt 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 283 KB

Reducibility: A ubiquitous method in lam

✍ Silvia Ghilezan; Silvia Likavec 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 203 KB

A workflow authorization model based on

✍ Xing Guang-lin; Hong Fan; Cai Hui 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 466 KB