Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=Tofte, Mads.
cover
Proof, language, and interaction :essays in honour of Robin Milner
Comment Share
Plotkin, G.Stirling, Colin P.Tofte, Mads.Milner, R.

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 theoretical computer science, the theory of programming languages, and functional programming languages.…

Edition
-
ISBN/ISSN
0585388903
Collation
1 online resource (xiv, 722 pages) :illustrations.
Series Title
-
Call Number
-