Proof, language, and interaction : (Record no. 39339)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03698nam a2200541 i 4500 |
001 - CONTROL NUMBER | |
control field | 6267426 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | IEEE |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20190220121647.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
fixed length control field | m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr |n||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 151223s2000 maua ob 001 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 0262281678 |
Qualifying information | electronic |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 9780585388908 |
Qualifying information | electronic |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780262281676 |
Qualifying information | electronic |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 0585388903 |
Qualifying information | electronic |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 9780262161886 |
Qualifying information | |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (CaBNVSL)mat06267426 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (IDAMS)0b000064818b442e |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | CaBNVSL |
Language of cataloging | eng |
Description conventions | rda |
Transcribing agency | CaBNVSL |
Modifying agency | CaBNVSL |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76. |
Item number | P699 2000eb |
245 00 - TITLE STATEMENT | |
Title | Proof, language, and interaction : |
Remainder of title | essays in honour of Robin Milner / |
Statement of responsibility, etc. | edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte. |
264 #2 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | [Piscataqay, New Jersey] : |
Name of producer, publisher, distributor, manufacturer | IEEE Xplore, |
Date of production, publication, distribution, manufacture, or copyright notice | [2000] |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | Cambridge, Massachusetts : |
Name of producer, publisher, distributor, manufacturer | MIT Press, |
Date of production, publication, distribution, manufacture, or copyright notice | 2000. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 PDF (xiv, 722 pages) : |
Other physical details | illustrations. |
336 ## - CONTENT TYPE | |
Content type term | text |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | electronic |
Source | isbdmedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Source | rdacarrier |
490 1# - SERIES STATEMENT | |
Series statement | Foundations of computing |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc. note | Includes bibliographical references. |
505 20 - FORMATTED CONTENTS NOTE | |
Formatted contents note | 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 -- |
506 1# - RESTRICTIONS ON ACCESS NOTE | |
Terms governing access | Restricted to subscribers or individual electronic text purchasers. |
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. |
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
Additional physical form available note | Also available in print. |
538 ## - SYSTEM DETAILS NOTE | |
System details note | Mode of access: World Wide Web |
588 ## - SOURCE OF DESCRIPTION NOTE | |
Source of description note | Description based on PDF viewed 12/23/2015. |
600 10 - SUBJECT ADDED ENTRY--PERSONAL NAME | |
Personal name | Milner, R. |
Fuller form of name | (Robin), |
Dates associated with a name | 1934-2010. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer science. |
655 #0 - INDEX TERM--GENRE/FORM | |
Genre/form data or focus term | Electronic books. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Plotkin, G. |
Fuller form of name | (Gordon), |
Dates associated with a name | 1946- |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Tofte, Mads. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Stirling, Colin P. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Milner, R. |
Fuller form of name | (Robin), |
Dates associated with a name | 1934-2010. |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | IEEE Xplore (Online Service), |
Relator term | distributor. |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | MIT Press, |
Relator term | publisher. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Print version |
International Standard Book Number | 9780262161886 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Foundations of computing. |
856 42 - ELECTRONIC LOCATION AND ACCESS | |
Materials specified | Abstract with links to resource |
Uniform Resource Identifier | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426 |
No items available.