✦ LIBER ✦

A Type Calculus for Executable Modelling Languages

✍ Scribed by BRADLEY, GORDON H.; CLEMENCE, ROBERT D.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A core calculus for correlation in orche

✍ Mirko Viroli 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 379 KB

A relational-calculus query language for

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

A lambda-calculus model of programming l

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

Categorial grammar — A basis for a natur

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

A lambda-calculus model of programming l

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

Type inference for a distributed π-calcu

✍ Cédric Lhoussaine 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 580 KB