✦ LIBER ✦

Proving Congruence of Bisimulation in Functional Programming Languages

✍ Scribed by Douglas J. Howe

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Arrays in pure functional programming la

✍ Grue, Klaus E. 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 512 KB

Exception handlers in functional program

✍ Govindarajan, R. 📂 Article 📅 1993 🏛 IEEE 🌐 English ⚖ 882 KB

Methods for Proving Termination of Rewri

✍ Francisco Durán; Salvador Lucas; José Meseguer 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 390 KB

Inductively defined functions in functio

✍ R.M. Burstall 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 646 KB

Proving BDI Properties of Agent-Oriented

✍ Rafael H. Bordini; Álvaro F. Moreira 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 232 KB

A note on the characterization of weak b

✍ Jan Ekman 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 175 KB