Natural Semantics for Non-Determinism (1993)

Cached

Download Links

by Andrew Moran
Citations:2 - 0 self

Documents Related by Co-Citation

95 Equality In Lazy Computation Systems – Douglas J. Howe - 1998
121 Bisimilarity as a theory of functional programming – A D Gordon
1 Monadic presentations of λ-terms using generalized inductive types – T Altenkirch, B Reus - 1999
3 The lazy λ-calculus, in: Research topics – S Abramsky - 1990
12 HOPLA—a higher-order process language – Mikkel Nygaard, Glynn Winskel - 2002
4 Functional Programming and Erratic Non-Determinism – C Pitcher - 2001
6 and Tarmo Uustalu, Substitution in non-wellfounded syntax with variable binding, Theor – Ralph Matthes
31 Relational Reasoning about Functions and Nondeterminism – Søren Bøgh Lassen, Søren Bøgh Lassen - 1998
7 Unique Fixed Point Induction for McCarthy's Amb – Søren Lassen, Andrew Moran - 1999
76 Operationally-based theories of program equivalence – Andrew Pitts - 1997
123 A domain equation for bisimulation – S Abramsky - 1991
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
109 Proving congruence of bisimulation in functional programming languages – Douglas J. Howe - 1996
2 A Logic of Functional Programs with an Application to Concurrency – H Sander - 1992
5 Total Correctness and Improvement in the Transformation of Functional Programs – D Sands - 1994
3 Can LCF be topped? Flat lattice models of typed lambda calculus – B Bloom - 1988
10 A Sound Metalogical Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1994
15 A fully abstract translation between a -calculus with reference types and Standard ML – E Ritter, A M Pitts - 1995
2 Non-Determinism in a Functional Setting (Extended Abstract) – C.-H. Luke Ong - 1993