𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || A final coalgebra theorem

✍ Scribed by Pitt, David H.; Rydeheard, David E.; Dybjer, Peter; Pitts, Andrew M.; Poigné, Axel

Book ID
111923704
Publisher
Springer-Verlag
Year
1989
Weight
529 KB
Category
Article

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Alge
[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 6859 || Context-Free Languages, Coalgebraically
✍ Corradini, Andrea; Klin, Bartek; Cîrstea, Corina 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 244 KB

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submi

[Lecture Notes in Computer Science] Alge
[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 5728 || Circular Coinduction: A Proof Theoretical Foundation
✍ Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 332 KB

This Book Constitutes The Proceedings Of The Third International Conference On Algebra And Coalgebra In Computer Science, Calco 2009, Formed In 2005 By Joining Cmcs And Wadt. This Year The Conference Was Held In Udine, Italy, September 7-10, 2009. The 23 Full Papers Were Carefully Reviewed And Selec

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Logic programming in Tau Categories
✍ Pacholski, Leszek; Tiuryn, Jerzy 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 836 KB

Subtyping With Singleton Types / David Aspinall -- A Subtyping For The Fisher-honsell-mitchell Lambda Calculus Of Objects / Viviana Bono And Luigi Liquori -- The Girard Translation Extended With Recursion / Torben Brauner -- Decidability Of Higher-order Subtyping With Intersection Types / Adriana B.

[Lecture Notes in Computer Science] Alge
[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 5728 || Characterising Behavioural Equivalence: Three Sides of One Coin
✍ Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 475 KB

This Book Constitutes The Proceedings Of The Third International Conference On Algebra And Coalgebra In Computer Science, Calco 2009, Formed In 2005 By Joining Cmcs And Wadt. This Year The Conference Was Held In Udine, Italy, September 7-10, 2009. The 23 Full Papers Were Carefully Reviewed And Selec