A Note on Logical Relations Between Semantics and Syntax (1997)

View PDF

Download Links

by Andrew Pitts
Citations:11 - 0 self

Documents Related by Co-Citation

113 Proving congruence of bisimulation in functional programming languages – Douglas J. Howe - 1996
37 From Operational Semantics to Domain Theory – Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1995
700 Concurrency and automata on infinite sequences – D Park - 1981
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
127 Bisimilarity as a theory of functional programming – A D Gordon - 1995
1353 Monads for functional programming – Philip Wadler - 1995
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
3430 Communication and Concurrency – R Milner - 1989
1064 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003