New Foundations for the Geometry of Interaction (1993)

Cached

Download Links

by Samson Abramsky , Radha Jagadeesan
Venue:Information and Computation
Citations:73 - 21 self

Active Bibliography

209 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
35 Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion – G.M. Bierman, A. M. Pitts, C. V. Russo
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
133 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995
2 Towards program development, specification and verification with Isabelle – Marek A. Bednarczyk, Tomasz Borzyszkowski - 1995
9 A Note on Logical Relations Between Semantics and Syntax – Andrew Pitts - 1997
48 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
238 The Lazy Lambda Calculus – Samson Abramsky - 1990
456 Domain Theory – Samson Abramsky, Achim Jung - 1994
66 Full Abstraction for PCF (Extended Abstract) – Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan - 1994
A Method to Evaluate the Performance of a Multiprocessor Machine based on Data Flow Principles – Ranjniii Narayan, V. Rajaraman
Compiling Lazy Functional Languages: An introduction – Thomas Johnsson - 1987
SINAN: An Argument Forwarding Multithreaded Architecture – Soner Onder, Rajiv Gupta
5 Parallel Functional Programming for Message-Passing Multiprocessors – Gerald Ostheimer - 1993
Execution Performance of the Scheduled Dataflow Architecture – n.n.
25 Superscalar Execution With Dynamic Data Forwarding – Soner ├ľnder, Rajiv Gupta - 1998
Imagining CLP(Λ,≡αβ) – Olivier Ridoux - 1995
I R I S a – Campus Universitaire De, Olivier Ridoux, Projet Lande - 1994
2 A System At the Cross-Roads of Functional and Logic Programming – Fairouz Kamareddine - 1996