Proof, language, and interaction essays in honour of Robin Milner / edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte. essays in honour of Robin Milner /
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge, Mass. :
MIT Press,
2000.
|
| Series: | Foundations of computing.
|
| Subjects: | |
| Online Access: | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01000cam a2200277La 4500 | ||
|---|---|---|---|
| 001 | 001231555 | ||
| 005 | 20191113142409.0 | ||
| 006 | m o u | ||
| 006 | m | ||
| 007 | cr|||||||||||| | ||
| 008 | 020102s2000 maua ob 000 0 eng d | ||
| 952 | |0 0 |1 0 |4 0 |7 0 |9 814425 |a ONLINE |b ONLINE |c EB |d 2013-08-08 |l 0 |p B446065 |r 2018-02-01 |w 2018-02-01 |y ONLINE | ||
| 999 | |c 503572 |d 503572 | ||
| 020 | |a 0262281678 | ||
| 020 | |a 9780262281676 | ||
| 245 | 0 | 0 | |a Proof, language, and interaction |h [electronic resource] : |b essays in honour of Robin Milner / |c edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte. |
| 260 | |a Cambridge, Mass. : |b MIT Press, |c 2000. | ||
| 490 | 1 | |a Foundations of computing | |
| 600 | 1 | 0 | |a Milner, R. |q (Robin), |d 1934-2010. |
| 650 | 0 | |a Computer science. | |
| 700 | 1 | |a Plotkin, G. |q (Gordon), |d 1946- | |
| 700 | 1 | |a Stirling, Colin P. | |
| 700 | 1 | |a Tofte, Mads | |
| 830 | 0 | |a Foundations of computing. | |
| 856 | 4 | 0 | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426 |
| 942 | |2 ddc | ||