TY  - BOOK
AU  - Curien P-L
TI  - Categorical combinators,sequential algorithms and functional programming
U1  - B23, M6 
PY  - 1986///
ER  -