» » Proof, Language, and Interaction: Essays in Honour of Robin Milner

Proof, Language, and Interaction: Essays in Honour of Robin Milner epub

by Colin Stirling (Editor) Mads Tofte (Editor) Gordon Plotkin (Editor)


Proof, Language, and Interaction: Essays in Honour of Robin Milner epub

ISBN: 0585388903

ISBN13: 978-0585388908

Author: Colin Stirling (Editor) Mads Tofte (Editor) Gordon Plotkin (Editor)

Category: No category

Publisher: MIT Press (2000)

ePUB book: 1267 kb

FB2 book: 1543 kb

Rating: 4.6

Votes: 520

Other Formats: lrf rtf txt azw





MA’ 98: Proceedings of the 2nd International Workshop on Mobile Agents, number 1477 in LNCS. Springer-Verlag, September 1998.

Please confirm you agree that your details will be displayed.

Robin Milner, a major figure in the field, has made many fundamental . Following a brief biography of Milner, the book contains five sections.

Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming .

17. B. C. Pierce and D. N. Turner. Local type inference. Springer-Verlag, 1997. 20. K. Takeuchi, K. Honda, and M. Kubo.

Gordon Plotkin is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh

Published: May 2000 Publisher: MIT Press Hardcover ISBN: 9780262161886. Gordon Plotkin is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh. Colin Stirling is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh. Mads Tofte is Vice Chancellor, IT University of Copenhagen. Computer Books & Technology Books.

Gordon Plotkin, Colin P. Stirling, Mads Tofte.

com you can find used, antique and new books, compare results and immediately purchase your selection at the best price. ) United Kingdom United States Canada Australia Ireland New Zealand India Anguilla Antigua and Barbuda Bahamas Barbados Belize Bermuda Botswana Cameroon Dominica Falkland Islands Fiji Gambia Ghana Gibraltar Grenada Guernsey Guyana Hong Kong Jamaica Jersey Kenya Kiribati Lesotho Liberia Malawi Malta Mauritius Montserrat Nauru Nigeria Oman Pakistan Papua-New Guinea Philippines Pitcairn Puerto Rico Rwanda Saint Kitts Saint Lucia Saint Vincent And The Grenadines.

Together the pieces convey a seamless whole, ranging from highly abstract concepts to systems of great utility.