✦ LIBER ✦

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2030 || Axioms for Recursion in Call-by-Value

✍ Scribed by Honsell, Furio; Miculan, Marino

Book ID: 111681958
Publisher: Springer Berlin Heidelberg
Year: 2001
Weight: 226 KB
Category: Article
ISBN: 3540418644
DOI: 10.1007/3-540-45315-6_16

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2030 || On Garbage and Program Logic

✍ Honsell, Furio; Miculan, Marino 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 167 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 1258 || Call-by-Value, call-by-name and the logic of values

✍ Dalen, Dirk; Bezem, Marc 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 770 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 6604 || Realizability and Parametricity in Pure Type Systems

✍ Hofmann, Martin 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 250 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 6604 || Regularity and Context-Freeness over Word Rewriting Systems

✍ Hofmann, Martin 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 244 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Developing implicit data structures

✍ Gruska, Jozef; Rovan, Branislav; Wiedermann, Juraj 📂 Article 📅 1986 🏛 Springer-Verlag 🌐 German ⚖ 448 KB

Edited By J. Gruska, B. Rovan, And J. Wiedermann. Papers Presented At The 12th Symposium On Mathematical Foundations Of Computer Science. Includes Bibliographies.

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 1234 || Models for the logic of proofs

✍ Adian, Sergei; Nerode, Anil 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 486 KB