|
33
|
Logical Relations for Encryption
– Eijiro Sumii, Benjamin C. Pierce
- 2002
|
|
26
|
Environmental bisimulations for higher-order languages
– Davide Sangiorgi
- 2007
|
|
6
|
Names, Equations, Relations: Practical Ways to Reason about new
– Ian Stark, Ian Stark
- 1996
|
|
18
|
A theory of bisimulation for a fragment of concurrent ML with local names
– Alan Jeffrey, Julian Rathke
- 2003
|
|
1
|
Interpreting functions as π-calculus processes: a tutorial
– Davide Sangiorgi
- 1999
|
|
44
|
Semantics of Types for Mutable State
– Amal Jamil Ahmed
- 2004
|
|
29
|
A bisimulation for dynamic sealing
– Eijiro Sumii
- 2004
|
|
2
|
Complete Lax Logical Relations for Cryptographic Lambda-Calculi
– Jean Goubault-larrecq, David Nowak, Yu Zhang
- 2004
|
|
|
A Testing Theory for a Higher-Order Cryptographic Language ⋆ (Extended Abstract)
– Vasileios Koutavas, Matthew Hennessy
|
|
4
|
A Step-indexed Semantics of Imperative Objects
– Catalin Hritcu, et al.
|
|
13
|
Reasoning about Functions with Effects
– Carolyn Talcott
- 1997
|
|
|
MFPS 2011 From Applicative to Environmental
– Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
|
|
1
|
An Equational Theory for a Region Calculus
– Simon Helsen
- 2002
|
|
|
Higher Order Broadcasting Systems
– Karol Ostrovsky
- 2002
|
|
5
|
A Probabilistic Applied Pi–Calculus ⋆
– Jean Goubault-larrecq, Catuscia Palamidessi, Angelo Troina
|
|
20
|
Domain theory for concurrency
– Mikkel Nygaard
- 2003
|
|
14
|
A Relational Modal Logic for Higher-Order Stateful ADTs
– Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
|
|
|
A STEP-INDEXED SEMANTICS OF IMPERATIVE OBJECTS
– unknown authors
- 906
|
|
|
Under consideration for publication in J. Functional Programming 1
– Non-parametric Parametricity, Georg Neis, Derek Dreyer, Andreas Rossberg
- 2010
|
