Logical Foundations of Functional Programming (Ut Year of Programming Series) by Gerard Huet | Menrva Books