✦ LIBER ✦

The completeness of the algebraic specification methods for computable data types

✍ Scribed by J.A. Bergstra; J.V. Tucker

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The algebraic data type specification la

✍ Luc Duponcheel; Jurgen Heyman; Willy Van Puymbroeck; Johan Lewi; Ivo Van Horebee 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 651 KB

On the data type extension problem for a

✍ Michio Oyamaguchi 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 500 KB

The algebraic structure of the isomorphi

✍ Yongge Wang 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 213 KB

On the Power of Higher-Order Algebraic S

✍ P. Kosiuczenko; K. Meinke 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 676 KB

Computation of the Yoneda Algebras for A

✍ A. I. Generalov; N. V. Kosmatov 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 536 KB

A practical example of the specification

✍ Frank W. Tompa 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 1011 KB