✦ LIBER ✦

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 3091 || Efficient λ-Evaluation with Interaction Nets

✍ Scribed by Oostrom, Vincent

Book ID: 111913436
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 379 KB
Category: Article
ISBN: 3540259791
DOI: 10.1007/978-3-540-25979-4_11

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 2051 || Universal Interaction Systems with Only Two Agents

✍ Middeldorp, Aart 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 168 KB

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 1103 || Design of a proof assistant

✍ Ganzinger, Harald 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 20 KB

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 256 || A general complete E-unification procedure

✍ Lescanne, Pierre 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg ⚖ 876 KB

[Lecture Notes in Computer Science] Diag

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 5223 || Visual Programming with Interaction Nets

✍ Stapleton, Gem; Howse, John; Lee, John 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 278 KB

Diagrams Is An International And Interdisciplinary Conference Series, Covering All Aspects Of Research On The Theory And Application Of Diagrams. Recent Technological Advances Have Enabled The Large-scale Adoption Of D- Grams In A Diverse Range Of Areas. Increasingly Sophisticated Visual Represen- T

[Lecture Notes in Computer Science] Appl

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets Volume 5606 || Oclets – Scenario-Based Modeling with Petri Nets

✍ Franceschinis, Giuliana; Wolf, Karsten 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 534 KB

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || Untyped λ-calculus with relative typing

✍ Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 919 KB