✦ LIBER ✦

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 953 || Effective applicative structures

✍ Scribed by Pitt, David; Rydeheard, David E.; Johnstone, Peter

Book ID: 120031102
Publisher: Springer Berlin Heidelberg
Year: 1995
Weight: 608 KB
Category: Article
ISBN: 3540446613
DOI: 10.1007/3-540-60164-3_21

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Cate

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

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

[Lecture Notes in Computer Science] Cate

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

✍ 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

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Allegories as a basis for algorithmics

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

[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

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 7353 || Computing All MOD-Functions Simultaneously

✍ Hirsch, Edward A.; Karhumäki, Juhani; Lepistö, Arto; Prilutskii, Michail 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 182 KB

[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.