✦ LIBER ✦

The denotational semantics of a functional tree-manipulation language

✍ Scribed by Andrew Malton

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Denotational semantics of communicating

✍ Manfred Broy 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 420 KB

The semantics of lazy functional languag

✍ Mark B. Josephs 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 671 KB

The manipulator language with the charac

✍ Aramaki, Shigeto 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 838 KB

A process oriented semantics of the PRAM

✍ Gudula Rünger; Kurt Sieber 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 858 KB

The Semantics of Predicate Logic as a Pr

✍ Van Emden, M. H.; Kowalski, R. A. 📂 Article 📅 1976 🏛 Association for Computing Machinery 🌐 English ⚖ 638 KB

The semantics of KBSSF, a language for K

✍ Jan Willem Spee; Linda In't Veld 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 730 KB