✦ LIBER ✦

[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 239 || Galois connections

✍ Scribed by Melton, Austin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Cate

✍ Pitt, David; Abramsky, Samson; Poigné, Axel; Rydeheard, David 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 730 KB

[Lecture Notes in Computer Science] Math

✍ Brookes, Stephen; Main, Michael; Melton, Austin; Mislove, Michael; Schmidt, Davi 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 700 KB

[Lecture Notes in Computer Science] Fund

✍ Budach, Lothar; Bukharajev, Rais Gatič; Lupanov, Oleg Borisovič 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg ⚖ 542 KB

[Lecture Notes in Computer Science] Math

✍ Blikle, A. 📂 Article 📅 1975 🏛 Springer Berlin Heidelberg ⚖ 377 KB

[Lecture Notes in Computer Science] Math

✍ Main, M.; Melton, A.; Mislove, M.; Schmidt, D. 📂 Article 📅 1988 🏛 Springer Berlin Heidelberg ⚖ 846 KB

[Lecture Notes in Computer Science] Math

✍ Winkowski, J. 📂 Article 📅 1978 🏛 Springer Berlin Heidelberg ⚖ 589 KB