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

by Gerard Huet Hardcover details (United States). ISBN: 978-0-201-17234-8 ISBN-10: 0-201-17234-8 Addison-Wesley · 1990