Relational Reasoning about Functions and Nondeterminism (1998)

by Søren Bøgh Lassen , Søren Bøgh Lassen
Citations:31 - 4 self

Active Bibliography

2 Step-Indexed Relational Reasoning for Countable Nondeterminism – Jan Schwinghammer, Lars Birkedal
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
35 Environmental bisimulations for higher-order languages – Davide Sangiorgi - 2007
6 Non-Deterministic Extensions of Untyped λ-calculus – Ugo de'Liguoro, Adolfo Piperno - 1995
4 Basic Action Theory – Søren B. Lassen, S. B. Lassen - 1995
1 A Study of Objects – Paul Hankin - 1999
7 Unique Fixed Point Induction for McCarthy's Amb – Søren Lassen, Andrew Moran - 1999
4 Congruence Proofs For Weak Bisimulation on Higher-order Processes: Results for Typed omega-order Calculi – Thomas Frauenstein, Michael Baldamus, Rainer Glas - 1996
Non-deterministic Lazy it λ-calculus VS it π-calculus – Carolina Lavatelli - 1993
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi – Ugo de' Liguoro - 1991
14 Eager normal form bisimulation – Soren B. Lassen, Paul Blain Levy - 2005
Higher Order Operationational Techniques in Semantics - Introduction – A. D. Gordon, A. M. Pitts (Eds)
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
9 An Operational Semantics for I/O in a Lazy Functional Language – Andrew D. Gordon - 1993
81 A Concurrent Object Calculus: Reduction and Typing – Andrew D. Gordon, Paul D. Hankin - 1998
6 From π-calculus to Higher-Order π-calculus -- and back – Davide Sangiorgi
34 Functional Nets – Martin Odersky - 2000
5 Action Semantics Reasoning About Functional Programs – S.B. Lassen - 1996
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999