✦ LIBER ✦

Operational domain theory and topology of sequential programming languages

✍ Scribed by Martı´n Escardó; Weng Kin Ho

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

✍ Diaz, Josep 📂 Article 📅 1983 🏛 Springer-Verlag ⚖ 748 KB

[Lecture Notes in Computer Science] Auto

✍ Aceto, Luca; Damgård, Ivan; Goldberg, Leslie Ann; Halldórsson, Magnús M.; Ingólf 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 350 KB

Towards a Theory of Semantics and Compil

✍ Review by: David Park 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 102 KB

Wiley Encyclopedia of Operations Researc

✍ Cochran, James J.; Cox, Louis A.; Keskinocak, Pinar; Kharoufeh, Jeffrey P.; Smit 📂 Article 📅 2011 🏛 John Wiley & Sons, Inc. ⚖ 305 KB

Consistent and complementary formal theo

✍ C. A. R. Hoare; P. E. Lauer 📂 Article 📅 1974 🏛 Springer-Verlag 🌐 English ⚖ 907 KB

[Lecture Notes in Computer Science] Auto

✍ Fülöp, Zoltán; Gécseg, Ferenc 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 701 KB