Proof, language, and interaction : (Record no. 73080)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03787nam a2200553 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 6267426 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220712204702.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 151223s2000 maua ob 001 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780262281676 |
| -- | electronic |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | electronic |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | electronic |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | electronic |
| 245 00 - TITLE STATEMENT | |
| Title | Proof, language, and interaction : |
| Sub Title | essays in honour of Robin Milner / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 PDF (xiv, 722 pages) : |
| 490 1# - SERIES STATEMENT | |
| Series statement | Foundations of computing |
| 505 20 - FORMATTED CONTENTS NOTE | |
| Remark 2 | A Brief Scientific Biography of Robin Milner -- 1. Bistructures, Bidomains, and Linear Logic / Pierre-Louis Curien, Gordon Plotkin and Glynn Winskel -- 2. Axioms for Definability and Full Completeness / Samson Abramsky -- 3. Algebraic Derivation of an Operational Semantics / C. A. R. Hoare, He Jifeng and Augusto Sampaio -- |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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 theoretical computer science, the theory of programming languages, and functional programming languages.Following a brief biography of Milner, the book contains five sections: Semantic Foundations, Programming Logic, Programming Languages, Concurrency, and Mobility. Together the pieces convey a seamless whole, ranging from highly abstract concepts to systems of great utility.Contributors : Samson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A. Bergstra, G�rard Berry, Lars Birkedal, G�rard Boudol, Edmund Clarke, Pierre Collette, Robert L. Constable, Pierre-Louis Curien, Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. A. R. Hoare, G�rard Huet, Paul B. Jackson, Alan S. A. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu, Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce, Gordon Plotkin, M. A. Reniers, Amokrane Sa�bi, Augusto Sampaio, Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel, David Walker, Glynn Winskel. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Plotkin, G. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Tofte, Mads. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Stirling, Colin P. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Milner, R. |
| 856 42 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cambridge, Massachusetts : |
| -- | MIT Press, |
| -- | 2000. |
| 264 #2 - | |
| -- | [Piscataqay, New Jersey] : |
| -- | IEEE Xplore, |
| -- | [2000] |
| 336 ## - | |
| -- | text |
| -- | rdacontent |
| 337 ## - | |
| -- | electronic |
| -- | isbdmedia |
| 338 ## - | |
| -- | online resource |
| -- | rdacarrier |
| 588 ## - | |
| -- | Description based on PDF viewed 12/23/2015. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science. |
No items available.