✦ LIBER ✦

[Lecture Notes in Computer Science] Mathematical Foundations of Programming Language Semantics Volume 298 || A categorical approach to realizability and polymorphic types

✍ Scribed by Main, M.; Melton, A.; Mislove, M.; Schmidt, D.

Book ID: 120254799
Publisher: Springer Berlin Heidelberg
Year: 1988
Weight: 846 KB
Category: Article
ISBN: 3540389202
DOI: 10.1007/3-540-19020-1_2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 802 || Ultimately periodic words of rational ω-languages

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

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2006 Volume 4162 || A Combinatorial Approach to Collapsing Words

✍ Královič, Rastislav; Urzyczyn, Paweł 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 409 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2303 || A Calculus of Circular Proofs and Its Categorical Semantics

✍ Nielsen, Mogens; Engberg, Uffe 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 544 KB

ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), th

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1996 Volume 1113 || From specifications to programs: A fork-algebraic approach to bridge the gap

✍ Penczek, Wojciech; Szałas, Andrzej 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 599 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 3142 || A Categorical Model for the Geometry of Interaction

✍ Díaz, Josep; Karhumäki, Juhani; Lepistö, Arto; Sannella, Donald 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 235 KB

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2028 || A Formal Executable Semantics of the JavaCard Platform

✍ Sands, David 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 177 KB