✦ LIBER ✦

A Process Calculus with Finitary Comprehended Terms

✍ Scribed by J. A. Bergstra, C. A. Middelburg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mechanising λ-calculus using a classical

✍ Michael Norrish 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 416 KB

Diffusive process on a backbone structur

✍ Lenzi, E. K.; da Silva, L. R.; Tateishi, A. A.; Lenzi, M. K.; Ribeiro, H. V. 📂 Article 📅 2013 🏛 The American Physical Society 🌐 English ⚖ 365 KB

Ureteropelvic Junction Obstruction with

✍ Husmann, Douglas A.; Milliner, Dawn S.; Segura, Joseph W. 📂 Article 📅 1995 🏛 Lippincott Williams and Wilkins 🌐 English ⚖ 448 KB

A Sensitivity and Adjoint Calculus for D

✍ Ulbrich, Stefan 📂 Article 📅 2002 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 561 KB

Interactive Spoken Document Retrieval Wi

✍ Yi-Cheng Pan; Hung-Yi Lee; Lin-Shan Lee 📂 Article 📅 2012 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 1002 KB

A semigroup proof of a non-ergodic Marko

✍ D.P. Johnson 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 702 KB