Logical Relations for Dynamic . . . (2003)

Cached

Download Links

by Yu Zhang , David Nowak
Venue:IN PROC. CSL/KGL'03, VOLUME 2803 OF LNCS

Active Bibliography

2 Complete Lax Logical Relations for Cryptographic Lambda-Calculi – Jean Goubault-larrecq, David Nowak, Yu Zhang - 2004
Logical Relations for Names – Zhang Yu, Jean Goubault-larrecq, David Nowak - 2002
19 Logical Relations for Monadic Types – Jean Goubault-Larrecq , Slawomir Lasota, David Nowak - 2002
146 A New Approach to Abstract Syntax Involving Binders – Murdoch Gabbay, Andrew Pitts - 1999
12 Full abstraction for nominal general references – Nikos Tzevelekos
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
39 Categorical Models for Local Names – Ian Stark - 1996
3 On the geometry of intuitionistic S4 proofs – Jean Goubault-larrecq, Eric Goubault - 2003
6 Names, Equations, Relations: Practical Ways to Reason about new – Ian Stark - 1996
5 Semantics of Dynamic Variables in Algol-like Languages – Dan R. Ghica - 1997
Presheaf models for the π-calculus – Ian Stark - 1997
26 On a monadic semantics for freshness – Mark R. Shinwell, Andrew M. Pitts - 2005
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
35 Semantic Lego – David Espinosa - 1995
1 Interpreting localized computational effects using operators of higher type (extended abstract) – John Longley
32 A Semantic analysis of control – James David Laird - 1998
18 A game semantics of local names and good variables – J. Laird - 2004
58 Relational reasoning in a nominal semantics for storage – Nick Benton, Benjamin Leperchey - 2005
2 A Semantic Formulation of ⊤⊤-lifting and Logical Predicates for Computational Metalanguage – Shin-ya Katsumata - 2005