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...
Full description
Bibliographic Details
| Other Authors: |
Plotkin, G. (Gordon), 1946-,
Stirling, Colin P.,
Tofte, Mads,
Milner, R. (Robin), 1934-2010 |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Cambridge, Mass. :
MIT Press,
2000.
|
|---|
| Series: | Foundations of computing
|
|---|
| Subjects: | |
|---|
| Online Access: | Connect to the full text of this electronic book
|
|---|