Proof, language, and interaction: essays in honour of Robin Milner
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...
Gespeichert in:
| Weitere beteiligte Personen: | , , , |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, Mass.
MIT Press
2000
|
| Schriftenreihe: | Foundations of computing
|
| Schlagwörter: | |
| Links: | https://doi.org/10.7551/mitpress/5641.001.0001?locatt=mode:legacy |
| Zusammenfassung: | 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 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.ContributorsSamson 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 |
| Umfang: | 1 Online-Ressource (xiv, 722 Seiten) Illustrationen |
| ISBN: | 0262281678 0585388903 9780262281676 9780585388908 |
Internformat
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-260-MPOB-5641 | ||
| 003 | MaCbMITP | ||
| 005 | 20190503073316.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 020102s2000 maua ob 010 0 eng d | ||
| 020 | |a 0262281678 | ||
| 020 | |a 0585388903 | ||
| 020 | |a 9780262281676 | ||
| 020 | |a 9780585388908 | ||
| 245 | 0 | 0 | |a Proof, language, and interaction |b essays in honour of Robin Milner |c edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte |
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c 2000 | |
| 300 | |a 1 Online-Ressource (xiv, 722 Seiten) |b Illustrationen | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a Foundations of computing | |
| 520 | |a 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 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.ContributorsSamson 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 | ||
| 600 | 1 | 0 | |a Milner, R. |q (Robin), |d 1934-2010. |
| 700 | 1 | |a Milner, R. |d 1934-2010 | |
| 700 | 1 | |a Plotkin, G. |d 1946- | |
| 700 | 1 | |a Stirling, Colin P. | |
| 700 | 1 | |a Tofte, Mads | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 0262161885 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780262161886 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-260-MPOB |q TUM_PDA_MPOB |3 MIT Press |u https://doi.org/10.7551/mitpress/5641.001.0001?locatt=mode:legacy |3 Volltext |
| 912 | |a ZDB-260-MPOB | ||
| 912 | |a ZDB-260-MPOB | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-260-MPOB-5641 |
|---|---|
| _version_ | 1821493839880257536 |
| adam_text | |
| any_adam_object | |
| author2 | Milner, R. 1934-2010 Plotkin, G. 1946- Stirling, Colin P. Tofte, Mads |
| author2_role | |
| author2_variant | r m rm g p gp c p s cp cps m t mt |
| author_facet | Milner, R. 1934-2010 Plotkin, G. 1946- Stirling, Colin P. Tofte, Mads |
| author_sort | Milner, R. 1934-2010 |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-260-MPOB |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02621cam a2200349Ma 4500</leader><controlfield tag="001">ZDB-260-MPOB-5641</controlfield><controlfield tag="003">MaCbMITP</controlfield><controlfield tag="005">20190503073316.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">020102s2000 maua ob 010 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262281678</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0585388903</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262281676</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780585388908</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Proof, language, and interaction</subfield><subfield code="b">essays in honour of Robin Milner</subfield><subfield code="c">edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiv, 722 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Foundations of computing</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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 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.ContributorsSamson 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</subfield></datafield><datafield tag="600" ind1="1" ind2="0"><subfield code="a">Milner, R.</subfield><subfield code="q">(Robin),</subfield><subfield code="d">1934-2010.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Milner, R.</subfield><subfield code="d">1934-2010</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Plotkin, G.</subfield><subfield code="d">1946-</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stirling, Colin P.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tofte, Mads</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">0262161885</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780262161886</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-260-MPOB</subfield><subfield code="q">TUM_PDA_MPOB</subfield><subfield code="3">MIT Press</subfield><subfield code="u">https://doi.org/10.7551/mitpress/5641.001.0001?locatt=mode:legacy</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-260-MPOB-5641 |
| illustrated | Illustrated |
| indexdate | 2025-01-17T11:04:52Z |
| institution | BVB |
| isbn | 0262281678 0585388903 9780262281676 9780585388908 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xiv, 722 Seiten) Illustrationen |
| psigel | ZDB-260-MPOB TUM_PDA_MPOB ZDB-260-MPOB |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Foundations of computing |
| spelling | Proof, language, and interaction essays in honour of Robin Milner edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte Cambridge, Mass. MIT Press 2000 1 Online-Ressource (xiv, 722 Seiten) Illustrationen txt c cr Foundations of computing 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 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.ContributorsSamson 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 Milner, R. (Robin), 1934-2010. Milner, R. 1934-2010 Plotkin, G. 1946- Stirling, Colin P. Tofte, Mads Erscheint auch als Druck-Ausgabe 0262161885 Erscheint auch als Druck-Ausgabe 9780262161886 |
| spellingShingle | Proof, language, and interaction essays in honour of Robin Milner Milner, R. (Robin), 1934-2010. |
| title | Proof, language, and interaction essays in honour of Robin Milner |
| title_auth | Proof, language, and interaction essays in honour of Robin Milner |
| title_exact_search | Proof, language, and interaction essays in honour of Robin Milner |
| title_full | Proof, language, and interaction essays in honour of Robin Milner edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte |
| title_fullStr | Proof, language, and interaction essays in honour of Robin Milner edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte |
| title_full_unstemmed | Proof, language, and interaction essays in honour of Robin Milner edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte |
| title_short | Proof, language, and interaction |
| title_sort | proof language and interaction essays in honour of robin milner |
| title_sub | essays in honour of Robin Milner |
| topic | Milner, R. (Robin), 1934-2010. |
| topic_facet | Milner, R. (Robin), 1934-2010. |
| work_keys_str_mv | AT milnerr prooflanguageandinteractionessaysinhonourofrobinmilner AT plotking prooflanguageandinteractionessaysinhonourofrobinmilner AT stirlingcolinp prooflanguageandinteractionessaysinhonourofrobinmilner AT toftemads prooflanguageandinteractionessaysinhonourofrobinmilner |