Proof, language, and interaction: essays in honour of Robin Milner / edited by Gordon Plotkin, Colin Stirling and Mads Tofte.

By: Plotkin, GordonMaterial type: TextTextLanguage: English Publication details: Cambridge : The MIT Press , 2000Description: 722pISBN: 0-262-16188-5Subject(s): LanguageColon classification: P
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)

There are no comments on this title.

to post a comment.
Visitors