✦ LIBER ✦

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Specifying interaction categories

✍ Scribed by Moggi, Eugenio; Rosolini, Giuseppe

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Cate

✍ Pitt, David H.; Poigné, Axel; Rydeheard, David E. 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg ⚖ 650 KB

[Lecture Notes in Computer Science] Cate

✍ Moggi, Eugenio; Rosolini, Giuseppe 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 883 KB

[Lecture Notes in Computer Science] Cate

✍ Pitt, David; Rydeheard, David E.; Johnstone, Peter 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 714 KB

[Lecture Notes in Computer Science] Cate

✍ Pitt, David; Rydeheard, David E.; Johnstone, Peter 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 608 KB

[Lecture Notes in Computer Science] Cate

✍ Pitt, David H.; Rydeheard, David E.; Dybjer, Peter; Pitts, Andrew M.; Poigné, Ax 📂 Article 📅 1989 🏛 Springer-Verlag ⚖ 529 KB

[Lecture Notes in Computer Science] Cate

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