|
3
|
Type Systems for Polynomial Time Complexity. Habilitation thesis, Darmstadt. Available as Edinburgh report ECS-LFCS-99-406
– M Hofmann
- 1999
|
|
11
|
The semantics of non-interference: a natural approach
– P W O’Hearn
- 1990
|
|
44
|
A Category-Theoretic Approach to the Semantics of Programming Languages
– F J Oles
- 1982
|
|
31
|
Natural Deduction for Intuitionistic Non-Commutative Linear Logic
– Jeff Polakow, Frank Pfenning
- 1999
|
|
17
|
Linear logic and interference control
– P W O’Hearn
- 1991
|
|
41
|
Syntactic Control of Interference Revisited
– P. W. O'hearn, A. J. Power, M. Takeyama, R. D. Tennent
- 1995
|
|
76
|
Operating systems principles
– P Brinch Hansen
- 1973
|
|
30
|
Relevant logic: A philosophical examination of inference
– S Read
- 1988
|
|
101
|
Intuitionistic Reasoning about Shared Mutable Data Structure
– John C. Reynolds
- 2000
|
|
127
|
Syntactic Control of Interference
– J C Reynolds
- 1978
|
|
89
|
On closed categories of functors
– B J Day
- 1970
|
|
815
|
Categories for the Working Mathematician
– S Mac Lane
- 1971
|
|
237
|
Local Reasoning about Programs that Alter Data Structures
– Peter O'Hearn, John Reynolds, Hongseok Yang
- 2001
|
|
121
|
BI as an Assertion Language for Mutable Data Structures
– Samin Ishtiaq, Peter W. O'Hearn
- 2000
|
|
4
|
A linear logic model of state
– U S Reddy
- 1993
|
|
7
|
29{April 1
– S Brookes, M Main, A Melton, M Mislove, editors
|
|
19
|
A Model for Syntactic Control of Interference
– P. W. O'Hearn
- 1993
|
|
56
|
A Spatial Logic for Querying Graphs
– Luca Cardelli, Philippa Gardner, Giorgio Ghelli
- 2001
|
|
92
|
Relevance logic and entailment
– J Dunn
- 1986
|
