| Description |
1 online resource (xiv, 722 pages) : illustrations. |
| Physical Medium |
polychrome |
| Description |
text file |
| Series |
Foundations of computing
|
|
Foundations of computing.
|
| Bibliography |
Includes bibliographical references. |
| 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 -- 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. |
| Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
| Subject |
Milner, R. (Robin), 1934-2010.
|
|
Milner, R. (Robin), 1934-2010. |
|
Milner, Robin. |
|
Milner, R. (Robin), 1934- |
|
Computer science.
|
|
Computer science. |
| Genre/Form |
Electronic books.
|
|
Festschriften.
|
|
Festschriften.
|
| Added Author |
Plotkin, G. (Gordon), 1946-
|
|
Stirling, Colin P.
|
|
Tofte, Mads.
|
|
Milner, R. (Robin), 1934-2010.
|
| Other Form: |
Print version: Proof, language, and interaction. Cambridge, Mass. : MIT Press, 2000 0262161885 (DLC) 99027800 (OCoLC)41944560 |
| ISBN |
0585388903 (electronic book) |
|
9780585388908 (electronic book) |
|
0262281678 (electronic book) |
|
9780262281676 (electronic book) |
|
0262161885 |
|
9780262161886 |
|
