Proof, language, and interaction essays in honour of Robin Milner

Saved in:
Bibliographic Details
Other Authors Plotkin, G. 1946-, Stirling, Colin P., Tofte, Mads, Milner, R. 1934-2010
Format eBook
LanguageEnglish
Published Cambridge, Mass. : MIT Press, 2000.
SeriesFoundations of computing.
Subjects
Computer science.
Milner, R. > (Robin), > 1934-2010.
elektronické knihy
electronic books
Online AccessFull text
ISBN9780262281676
Physical Description1 online zdroj (xiv, 722 p.) : ill.

Cover

Table of Contents:
  • A brief scientific biography of Robin Milner
  • Bistructures, bidomains, and linear logic / Pierre-Louis Curien, Gordon Plotkin and Glynn Winskel
  • Axioms for definability and full completeness / Samson Abramsky
  • Algebraic derivation of an operational semantics / C. A. R. Hoare, He Jifeng and Augusto Sampaio
  • From Banach to Milner: metric semantics for second order communication and concurrency / Jaco de Bakker and Franck van Breugel
  • The tile model / Fabio Gadducci and Ugo Montanari
  • From LCF to HOL: a short history / Mike Gordon
  • A fixedpoint approach to (co)inductive and (co)datatype definitions / Lawrence C. Paulson

Similar Items