Environmental bisimulations for higher-order languages (2007)

by Davide Sangiorgi
Venue:In Twenty-Second Annual IEEE Symposium on Logic in Computer Science
Citations:35 - 10 self

Active Bibliography

Logical Bisimulations and Functional Languages ⋆ – Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
2 On the observational theory of the CPS-calculus – Massimo Merro
45 A bisimulation for type abstraction and recursion – Eijiro Sumii, Benjamin C. Pierce - 2005
Theory, Languages – Eijiro Sumii
938 A theory of type polymorphism in programming – Robin Milner - 1978
623 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
457 Domain Theory – Samson Abramsky, Achim Jung - 1994
457 Comprehending Monads – Philip Wadler - 1992
7 The marriage of bisimulations and Kripke logical relations – Chung-kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis - 2012