Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Reus, Bernhard - Department of Informatics, University of Sussex
Na#ve Synthetic Domain Theory A Logical Approach Bernhard Reus & Thomas Streicher
Continuation Semantics or Expressing Implication by Negation #
Synthetic Domain Theory in Type Theory : Another Logic of Computable Functions
A Simple Model of Separation Logic for Higher-order Store
Program Verification Synthetic Domain Theory
Classbased versus Objectbased: A Denotational Comparison
General Synthetic Domain Theory --A Logical Approach y
Under consideration for publication in Math. Struct. in Comp. Science Denotational Semantics for a Program Logic
Denotational Semantics for Abadi and Leino's Logic of Objects
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
A Complete Temporal and Spatial Logic for Distributed Systems
Modular Semantics and Logics of Classes Bernhard Reus
General Synthetic Domain Theory --A Logical Approach (Extended abstract)
Verifying Properties of Module Construction in Type Theory ?
About Hoare Logics for Higher-order Store Bernhard Reus1
Semantics and Logic of Object Calculi Bernhard Reus a,1
An EventBased Structural Operational Semantics of MultiThreaded Java
Separation Logic for Higher-order Store Bernhard Reus1
Nested Hoare Triples and Frame Rules for Higher-order Store
Continuation Semantics: Abstract Machines and Control Operators
Semantics and Logic of Object Calculi Bernhard Reus \Lambda
