Syntactic Control of Interference Revisited (1995)

Cached

Download Links

by P. W. O'hearn , A. J. Power , M. Takeyama , R. D. Tennent
Citations:40 - 6 self

Active Bibliography

62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
33 On Bunched Typing – Peter O'Hearn - 2002
5 Categorical Glueing and Logical Predicates for Models of Linear Logic – Masahito Hasegawa - 1999
Presheaf models of quantum computation: an – Octavio Malherbe, Philip Scott, Peter Selinger - 1302
19 Quantum categories, star autonomy, and quantum groupoids – Brian Day, Ross Street - 2004
Functorial boxes in string diagrams Paul-André – Equipe Preuves, Cnrs Université, Paris Denis Diderot - 2006
23 Categorical Models of Linear Logic Revisited – Paul-andré Melliès - 2003
1 Dialectica and Chu Constructions: Cousins? – Valeria De Paiva - 2006
11 Logical Predicates for Intuitionistic Linear Type Theories – Masahito Hasegawa - 1999
10 Classical linear logic of implications – Masahito Hasegawa - 2002
19 On an Intuitionistic Modal Logic – G M Bierman, V C V de Paiva - 2001
54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
17 An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory – Marcelo Fiore, Gordon D. Plotkin - 1997
38 Focusing the inverse method for linear logic – Kaustuv Chaudhuri, Stephen Brookes - 2005
6 Semantics of linear continuation-passing in call-by-name – Masahito Hasegawa - 2004
32 Linear Logic, Monads and the Lambda Calculus – Nick Benton, Philip Wadler - 1996
29 On Bunched Predicate Logic – David J. Pym - 1999
Proof nets and free semi-⋆-autonomous categories – Willem Heijltjes, Lutz Straßburger - 2013
Strictness Analysis - Another Method – Michael Winikoff, Supervisor Dr. Harald Sndergaard, Langsam Misterioso - 1993