TY  - BOOK
AU  - THOMPSON SIMON
TI  - TYPE THEORY AND FUNCTIONAL PROGRAMMING
SN  - 9780201416671
AV  - QA76.62.T496 1999 
PY  - 1999///
CY  - NEWYORK
PB  - THOMPSON
KW  - Functional programming (Computer science) Type theory
ER  -