Completeness of Bisimilarity for Contextual Equivalence in Linear Theories

Cached

Download Links

by Roy L. Crole
Citations:5 - 1 self

Documents Related by Co-Citation

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
7 Relating Operational and Denotational Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1999
6 Lectures on [Co]Induction and [Co]Algebras – R L Crole - 1998
57 Equational properties of mobile ambients – Andrew D. Gordon, Luca Cardelli - 1999
36 The Coalgebraic Class Specification Language CCSL -- Syntax and Semantics – Hendrik Tews - 2002
79 A Bisimulation Method for Cryptographic Protocols – Martín Abadi, Andrew D. Gordon - 1998
786 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
121 Bisimilarity as a theory of functional programming – Andrew D Gordon - 1999
8 Free theorems and runtime type representations – Dimitrios Vytiniotis, Stephanie Weirich - 2007
4 Program equivalence in a linear functional language – G M Bierman
3 Advanced Topics in Types and Programming Languages, chapter Typed Operational Reasoning – Andrew Pitts - 2005
7 A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F – Kevin Donnelly, Hongwei Xi - 2006
35 Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion – G.M. Bierman, A. M. Pitts, C. V. Russo
11 Relational parametricity for references and recursive types – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2009
213 Intensional Interpretations of Functionals of Finite Type – W W Tait - 1967
72 Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types – Amal Ahmed - 2006
62 State-dependent representation independence – Amal Ahmed, Derek Dreyer, Andreas Rossberg - 2009