Proof, Language and Interaction, Essays in Honour of Robin Milner eds Gordon Plotkin, Colin Sterling, Mads Tofte, Foundations of Computing Series, MIT Press 2000

Bibliographic Details

Published in:	Journal of Functional Programming 2004-01, Vol.14 (1), p.125-128
Main Author:	Reade, Chris
Format:	Article
Language:	eng
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!