✦ LIBER ✦

Encoding an Object Calculus into Interaction Nets

✍ Scribed by Fabien Fleutot

Book ID: 108126515
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 386 KB
Volume: 127
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.03.024

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Interpretation of Typed Objects into

An Interpretation of Typed Objects into Typedπ-Calculus

✍ Davide Sangiorgi 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 440 KB

[Lecture Notes in Computer Science] Impl

[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 4015 || Encoding Strategies in the Lambda Calculus with Interaction Nets

✍ Butterfield, Andrew; Grelck, Clemens; Huch, Frank 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 722 KB

This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages, IFL 2005, held in Dublin, Ireland in September 2005. Ranging from theoretical and methodological topics to implementation issues and applicati

Learning with web-based interactive obje

Learning with web-based interactive objects: An investigation into student perceptions of effectiveness

✍ Florin D. Salajan; Susanne Perschbacher; Mindy Cash; Reena Talwar; Wafa El-Badra 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 988 KB