Proof, Language, and Interaction

Keyphrases

Publications

2000

Gordon D. Plotkin, Colin Stirling, Mads Tofte
A brief scientific biography of Robin Milner. Proof, Language, and Interaction (2000)
C. A. R. Hoare, Jifeng He, Augusto Sampaio
Algebraic derivation of an operational semantics. Proof, Language, and Interaction (2000)
Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel
Bistructures, bidomains, and linear logic. Proof, Language, and Interaction (2000)
Gérard P. Huet, Amokrane Saïbi
Constructive category theory. Proof, Language, and Interaction (2000)
Jaco de Bakker, Franck van Breugel
From Banach to Milner: metric semantics for second order communication and concurrency. Proof, Language, and Interaction (2000)
Gérard Boudol, Cosimo Laneve
lambda-calculus, multiplicities, and the pi-calculus. Proof, Language, and Interaction (2000)
Davide Sangiorgi
Lazy functions and mobile processes. Proof, Language, and Interaction (2000)
Robert Harper, Christopher A. Stone
A type-theoretic interpretation of standard ML. Proof, Language, and Interaction (2000)
Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero
Model checking algorithms for the µ-calculus. Proof, Language, and Interaction (2000)
Joachim Parrow
Trios in concert. Proof, Language, and Interaction (2000)
William Ferreira, Matthew Hennessy, Alan Jeffrey
Combining the typed lambda-calculus with CCS. Proof, Language, and Interaction (2000)
Yoram Hirshfeld, Faron Moller
On the star height of unary regular behaviours. Proof, Language, and Interaction (2000)
Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe
Constructively formalizing automata theory. Proof, Language, and Interaction (2000)
Fabio Gadducci, Ugo Montanari
The tile model. Proof, Language, and Interaction (2000)
Mike Gordon
From LCF to HOL: a short history. Proof, Language, and Interaction (2000)
Gérard Berry
The foundations of Esterel. Proof, Language, and Interaction (2000)
Uffe Engberg, Mogens Nielsen
A calculus of communicating systems with label passing - ten years after. Proof, Language, and Interaction (2000)
Xinxin Liu, David Walker
Concurrent objects as mobile processes. Proof, Language, and Interaction (2000)
Eugene W. Stark, Scott A. Smolka
A complete axiom system for finite-state probabilistic processes. Proof, Language, and Interaction (2000)
Benjamin C. Pierce, David N. Turner
Pict: a programming language based on the Pi-Calculus. Proof, Language, and Interaction (2000)
Samson Abramsky
Axioms for definability and full completeness. Proof, Language, and Interaction (2000)
Jos C. M. Baeten, Jan A. Bergstra, Michel A. Reniers
Discrete time process algebra with silent step. Proof, Language, and Interaction (2000)
Lawrence C. Paulson
A fixedpoint approach to (co)inductive and (co)datatype definitions. Proof, Language, and Interaction (2000)
Proof, Language, and Interaction, Essays in Honour of Robin Milner Proof, Language, and Interaction (2000)
Pierre Collette, Cliff B. Jones
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Proof, Language, and Interaction (2000)
Mads Tofte, Lars Birkedal
Unification and polymorphism in region inference. Proof, Language, and Interaction (2000)