Relating Operational and Denotational Semantics for Input/Output Effects (1999)

Cached

Download Links

by Roy L. Crole , Andrew D. Gordon
Citations:7 - 3 self

Documents Related by Co-Citation

121 Bisimilarity as a theory of functional programming – A D Gordon
6 Lectures on [Co]Induction and [Co]Algebras – R L Crole - 1998
105 Functional Programming and Input/Output – Andrew D Gordon - 1993
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
3 Operationally Based Theories of Program Equivalence – A M Pitts - 1997
12 Co-Inductive Types in Coq: An Experiment with the Alternating Bit Protocol – Eduardo Gimenez, Ecole Normale, Ecole Normale, Suprieure Lyon, Suprieure Lyon - 1995
10 A Sound Metalogical Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1994
5 Completeness of Bisimilarity for Contextual Equivalence in Linear Theories – Roy L. Crole
57 Equational properties of mobile ambients – Andrew D. Gordon, Luca Cardelli - 1999
783 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
79 A Bisimulation Method for Cryptographic Protocols – Martín Abadi, Andrew D. Gordon - 1998
36 The Coalgebraic Class Specification Language CCSL -- Syntax and Semantics – Hendrik Tews - 2002
3 Functional Programming Theory – R L Crole - 1995
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
1 Operational Semantics – R L Crole - 1999
1 Department of Mathematics and Computer Science Lecture Notes, LATEX format 101 pages with subject and notation index – Operational Semantics - 1999
7 A functional programming approach to the specification and verification of concurrent systems – P Dybjer, H P Sanders - 1989
23 The lazy -calculus – S Abramsky - 1990
7 On backtracking and greatest fixpoints – W P DE ROEVER - 1977