Electronic Notes in Theoretical Computer Science
Volume 83 - Proceedings of MFPS XIX
Preface
by Stephen Brookes and Prakash Panagaden
Ribbon Proofs
by Jules Bean
Cumulative Computing
by Yifeng Chen
Entropic Geometry from Logic
by Bob Coecke
Towards the Correctness of Security Protocols
by Mourad Debabbi and Mohamed Mejri
Domain-theoretic Solution of Differential Equations
by Abbas Edalat, M. Krznaric and A. Lieutier
The Security Picalculus and Non-interference
by Matthew Hennessy
Intensional Double Glueing, Biextensional Collapse, and the Chu Construction
by Dominic Hughes
Contextual Equivalence for Higher-Order pi-Calculus Revisited
by Alan Jeffrey and Julian Rathke
On the Semantics of the Bad-Variable Constructor in Algol-like Languages
by Guy McCusker
Designing a Group Protocol Specification Language
by Jonathan Millen and Grit Denker
Generic Transforms on Incomplete Specifications of Asynchronous Interfaces
by Radu Negulescu
Secure Protocol Composition
by Anupam Datta, Ante Derek, John Mitchell and Dusko Pavlovic
Pseudo-distributive laws
by Eugenia Cheng, Martin Hyland and John Power
How Do Domains Model Topologies?
by Pawel Waszkiewicz
A Type System for Robust Declassification
by Steve Zdancewic
Compact Coverages Generate Spectral Frames
by Guo-Qiang Zhang
Chu Spaces, Concept Lattices, and Domains
by Guo-Qiang Zhang