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

Proof, language, and interaction : essays in honour of Robin Milner / edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte.

This collection of original essays reflects the breadth of current research in computer science.This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoret...

Full description

Saved in:
Bibliographic Details
Other Authors: Plotkin, G. (Gordon), 1946-, Stirling, Colin P., Tofte, Mads, Milner, R. (Robin), 1934-2010
Format: eBook
Language:English
Published: Cambridge, Mass. : MIT Press, 2000.
Series:Foundations of computing.
Subjects:
Milner, R. > (Robin), > 1934-2010.
Milner, R. > (Robin), > 1934-2010
Computer science.
computer science.
data processing.
COMPUTERS > Reference.
COMPUTERS > Machine Theory.
COMPUTERS > Computer Literacy.
COMPUTERS > Information Technology.
COMPUTERS > Data Processing.
COMPUTERS > Computer Science.
COMPUTERS > Hardware > General.
Computer science
Theoretische Informatik
Engineering & Applied Sciences.
Computer Science.
Festschriften
Festschriften.
Online Access:Click for online access
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