✦ LIBER ✦

A Filter Model for Concurrent $\lambda$-Calculus

✍ Scribed by Dezani-Ciancaglini, Mariangiola; de'Liguoro, Ugo; Piperno, Adolfo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Lambda calculus as a workflow model

✍ Peter M. Kelly; Paul D. Coddington; Andrew L. Wendelborn 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 404 KB

Characterization theorems for a filter l

✍ Simonetta Ronchi Della Rocca 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 677 KB

Continuation Models for the Lambda Calcu

✍ Petit, Barbara 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 285 KB

A Lambda Calculus for Quantum Computatio

✍ van Tonder, André 📂 Article 📅 2004 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 228 KB

Scheme: A Interpreter for Extended Lambd

✍ Gerald Jay Sussman; Guy L. Steele 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 114 KB

Static typing for a substructural lambda

✍ Hua, Baojian 📂 Article 📅 2011 🏛 Higher Education Press and Springer 🌐 English ⚖ 249 KB