𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 283 || Categories and effective computations

✍ Scribed by Pitt, David H.; Poigné, Axel; Rydeheard, David E.

Book ID
115459354
Publisher
Springer Berlin Heidelberg
Year
1987
Weight
650 KB
Category
Article
ISBN
3540480064

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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] Cate
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || A dialectica-like model of linear logic
✍ Pitt, David H.; Rydeheard, David E.; Dybjer, Peter; Pitts, Andrew M.; Poigné, Ax 📂 Article 📅 1989 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 709 KB

The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get c