TY - BOOK AU - Revesz G E TI - Lambda calculus combinators and functional programming T2 - Cambridge Tracts in Theoretical Computer Science; 4 U1 - D65,8(B):(B28), M8 PY - 1988/// CY - Cmbridge PB - CUP KW - Computer science irt maths KW - Database mangement KW - Computer science ER -