Logical Foundations of Functional Programming (Ut Year of Programming Series) - Hardcover

Huet, Gerard

 
9780201172348: Logical Foundations of Functional Programming (Ut Year of Programming Series)