An edition of Proof, language, and interaction
(2000)
Proof, Language, and Interaction
Essays in Honour of Robin Milner (Foundations of Computing)
by Mads Tofte, G. Plotkin, and Colin P. Stirling
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Computer science, MathematicsPeople
R. Milner (1934-), Robin Milner| Edition | Availability |
|---|---|
1
Proof, Language, and Interaction: Essays in Honour of Robin Milner
2018, MIT Press
in English
0262281678 9780262281676
|
zzzz
|
|
2
Proof, language, and interaction: essays in honour of Robin Milner
2000, MIT Press
in English
0262161885 9780262161886
|
zzzz
|
3
Proof, language, and interaction: essays in honour of Robin Milner
2000, MIT Press
electronic resource :
in English
0585388903 9780585388908
|
zzzz
|
4
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
May 15, 2000, The MIT Press
Hardcover
in English
0262161885 9780262161886
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| August 17, 2024 | Edited by ImportBot | import existing book |
| March 12, 2020 | Edited by Drini | merge works |
| March 10, 2019 | Created by MARC Bot | import existing book |