|
Journals in DBLP
Preface. [Citation Graph (, )][DBLP]
Continuous Functions on Final Coalgebras. [Citation Graph (, )][DBLP]
Abstract Interpretation From a Denotational-semantics Perspective. [Citation Graph (, )][DBLP]
Monoidal Indeterminates and Categories of Possible Worlds. [Citation Graph (, )][DBLP]
Another Look at Function Domains. [Citation Graph (, )][DBLP]
Quantitative Notions of Leakage for One-try Attacks. [Citation Graph (, )][DBLP]
Extending Algebraic Operations to D-Completions. [Citation Graph (, )][DBLP]
Some Programming Languages Suggested by Game Models (Extended Abstract). [Citation Graph (, )][DBLP]
Game Semantics for Access Control. [Citation Graph (, )][DBLP]
On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos. [Citation Graph (, )][DBLP]
A Context-based Approach to Proving Termination of Evaluation. [Citation Graph (, )][DBLP]
Categories of Timed Stochastic Relations. [Citation Graph (, )][DBLP]
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting. [Citation Graph (, )][DBLP]
On the Unification of Process Semantics: Equational Semantics. [Citation Graph (, )][DBLP]
On the Relative Expressive Power of Calculi for Mobility. [Citation Graph (, )][DBLP]
Contraction-free Proofs and Finitary Games for Linear Logic. [Citation Graph (, )][DBLP]
Twisted Graph States for Ancilla-driven Universal Quantum Computation. [Citation Graph (, )][DBLP]
Equational Coalgebraic Logic. [Citation Graph (, )][DBLP]
Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity. [Citation Graph (, )][DBLP]
An Algebraic Account of References in Game Semantics. [Citation Graph (, )][DBLP]
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). [Citation Graph (, )][DBLP]
Logical Semantics for Stability. [Citation Graph (, )][DBLP]
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information. [Citation Graph (, )][DBLP]
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names. [Citation Graph (, )][DBLP]
|