✦ LIBER ✦

A core calculus for correlation in orchestration languages

✍ Scribed by Mirko Viroli

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A calculus for orchestration of web serv

✍ Rosario Pugliese; Francesco Tiezzi 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 606 KB

A Type Calculus for Executable Modelling

✍ BRADLEY, GORDON H.; CLEMENCE, ROBERT D. 📂 Article 📅 1986 🏛 Oxford University Press 🌐 English ⚖ 810 KB

A Core Language for Rewriting

✍ Eelco Visser; Zine-el-Abidine Benaissa 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 1006 KB

A relational-calculus query language for

✍ M.A Bassiouni; M.J Llewellyn 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 780 KB

Categorial grammar — A basis for a natur

✍ Hans Karlgren 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 856 KB

Effects and effect inference for a core

✍ G.M. Bierman; M.J. Parkinson 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 278 KB