TY  - BOOK
AU  - Huet,Gérard
TI  - Logical foundations of functional programming
T2  - University of Texas at austin year of programmin series
SN  - 0201172348
U1  - 005.114 
PY  - 1990///
CY  - Reading, Massachusetts
PB  - Addison-Wesley
KW  - POLIMORFIRMO LAMBDA-LENGUAJE DE PROGRAMACION DE COMPUTADORES
KW  - PROGRAMACION(COMPUTADORES ELECTRONICOS DIGITALES)
ER  -