✦ LIBER ✦

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 7456 || Linearity in the Non-deterministic Call-by-Value Setting

✍ Scribed by Ong, Luke; Queiroz, Ruy

Book ID: 115499699
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 293 KB
Category: Article
ISBN: 3642326218
DOI: 10.1007/978-3-642-32621-9_16

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 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] Logi

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5110 || On a Graph Calculus for Algebras of Relations

✍ Hodges, Wilfrid; de Queiroz, Ruy 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 250 KB

Edited In Collaboration With Folli, The Association Of Logic, Language And Information, This Book Constitutes The 4th Volume Of The Folli Lnai Subline; Containing The Refereed Proceedings Of The 15th International Workshop On Logic, Language, Information And Computation, Wollic 2008, Held In Edinbur

[Lecture Notes in Computer Science] Foun

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

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

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 7211 || The Call-by-Need Lambda Calculus, Revisited

✍ Seidl, Helmut 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 287 KB

[Lecture Notes in Computer Science] Stat

[Lecture Notes in Computer Science] Static Analysis Volume 864 || Stackability in the simply-typed call-by-value lambda calculus

✍ Charlier, Baudouin 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 744 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic, Language, and Computation Volume 5422 || A Dynamic Conceptual Model for the Linguistic Structuring of Space: Georgian Preverbs

✍ Bosch, Peter; Gabelaia, David; Lang, Jérôme 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 174 KB

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, held in Tbilisi, Georgia, in October 2007. The 22 revised full papers in