Unique Fixed Point Induction for McCarthy's Amb (1999)

Cached

Download Links

by Søren Lassen , Andrew Moran
Venue:IN: PROCEEDINGS OF THE 24TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, ”LNCS” 1672
Citations:7 - 2 self

Active Bibliography

7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
20 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
5 On generic context lemmas for lambda calculi with sharing – Manfred Schmidt-Schauß, David Sabel - 2008
8 Imprecise Exceptions, Co-Inductively – Andrew Moran, Soeren Lassen, Simon Peyton Jones
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
1 Complete Lattices and Up-To Techniques – Damien Pous - 2007
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
2 Bisimilarity for the region calculus – Simon Helsen
On the representation of McCarthy’s ambin the π-calculus – Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi - 2004
10 Improvement Theory and its Applications – David Sands - 1997
2 Amb Breaks Well-Pointedness, Ground Amb Doesn’t – Paul Blain Levy - 2007
2 Implementing Declarative Parallel Bottom-Avoiding Choice – Andre Rauber du Bois, Robert Pointon, Hans-Wolfgang Loidl, Phil Trinder - 2002
40 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
2 Step-Indexed Relational Reasoning for Countable Nondeterminism – Jan Schwinghammer, Lars Birkedal
14 A non-deterministic call-by-need lambda calculus – Arne Kutzner, Manfred Schmidt-Schauß - 1998
35 Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion – G.M. Bierman, A. M. Pitts, C. V. Russo
21 Bisimulation Proof Methods for Mobile Ambients – Massimo Merro, Francesco Zappa Nardelli - 2003
17 From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages – David Sands - 1997
4 Basic Action Theory – Søren B. Lassen, S. B. Lassen - 1995