TY  - BOOK
AU  - Huet,Gérard
ED  - Addison-Wesley (1942-1999).
TI  - Logical foundations of functional programming
T2  - The UT Year of Programming Series
SN  - 0201172348
PY  - 1990///
CY  - Reading, MA
PB  - Addison-Wesley
KW  - Programowanie funkcyjne (informatyka)
KW  - konferencje
KW  - kaba
N1  - Materiały z konferencji; Bibliogr. przy rozdz
ER  -