Curien,, P.-L. Categorical combinators, sequential algorithms, and funcional programming / Pierre-Louis Curien

Categorical combinators, sequential algorithms, and funcional programming / Pierre-Louis Curien . - 2nd ed . - Boston : Birkhäuser, cop. 1993 . - XX, 403 p. 25 cm . - (Progress in theoretical computer science))
0-8176-3654-4 (Encadernado)

519.68
510.5