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