No CrossRef data available.
Article contents
Logical foundations of functional programming, edited by Gérard Huet, The UT year of programming series, Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xvi + 491 pp.
Published online by Cambridge University Press: 12 March 2014
Abstract

- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1994