Proof, language, and interaction : essays in honour of Robin Milner / edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte.
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
Saved in:
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: | Click for online access
|
|---|