TY  - BOOK
AU  - Huet, Gerard
TI  - LOGICAL FOUNDATIONS OF FUNCTIONAL PROGRAMMING
SN  - 0201172348
U1  - 001.642 
PY  - 1990///
CY  - Reading, Mass.
PB  - Addison-Wesley
KW  - Functional Programming (Computer Science)
ER  -