TY  - BOOK
AU  - CURIEN PIERRE LOUIS
TI  - CATEGORICAL COMBINATORS, SEQUENTIAL ALGORTHMS AND FUNCTIONAL PRORAMMING / 
U1  - 005.31 
PY  - 1993///
CY  - [S.N] : 
PB  - BIRKHASER ، 
KW  - FORMAL LANGUAGE
ER  -