000 | 03698nam a2200541 i 4500 | ||
---|---|---|---|
001 | 6267426 | ||
003 | IEEE | ||
005 | 20190220121647.0 | ||
006 | m o d | ||
007 | cr |n||||||||| | ||
008 | 151223s2000 maua ob 001 eng d | ||
020 |
_z0262281678 _qelectronic |
||
020 |
_z9780585388908 _qelectronic |
||
020 |
_a9780262281676 _qelectronic |
||
020 |
_z0585388903 _qelectronic |
||
020 |
_z9780262161886 _qprint |
||
035 | _a(CaBNVSL)mat06267426 | ||
035 | _a(IDAMS)0b000064818b442e | ||
040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
050 | 4 |
_aQA76. _bP699 2000eb |
|
245 | 0 | 0 |
_aProof, language, and interaction : _bessays in honour of Robin Milner / _cedited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte. |
264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[2000] |
|
264 | 1 |
_aCambridge, Massachusetts : _bMIT Press, _c2000. |
|
300 |
_a1 PDF (xiv, 722 pages) : _billustrations. |
||
336 |
_atext _2rdacontent |
||
337 |
_aelectronic _2isbdmedia |
||
338 |
_aonline resource _2rdacarrier |
||
490 | 1 | _aFoundations of computing | |
504 | _aIncludes bibliographical references. | ||
505 | 2 | 0 | _aA 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 | _aRestricted to subscribers or individual electronic text purchasers. | |
520 | _aThis 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 | _aAlso available in print. | ||
538 | _aMode of access: World Wide Web | ||
588 | _aDescription based on PDF viewed 12/23/2015. | ||
600 | 1 | 0 |
_aMilner, R. _q(Robin), _d1934-2010. |
650 | 0 | _aComputer science. | |
655 | 0 | _aElectronic books. | |
700 | 1 |
_aPlotkin, G. _q(Gordon), _d1946- |
|
700 | 1 | _aTofte, Mads. | |
700 | 1 | _aStirling, Colin P. | |
700 | 1 |
_aMilner, R. _q(Robin), _d1934-2010. |
|
710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. |
|
710 | 2 |
_aMIT Press, _epublisher. |
|
776 | 0 | 8 |
_iPrint version _z9780262161886 |
830 | 0 | _aFoundations of computing. | |
856 | 4 | 2 |
_3Abstract with links to resource _uhttp://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426 |
999 |
_c39339 _d39339 |