Categorical combinators, sequential algorithms, and functional programming /

Autor Curien, Pierre-Louis, 1953-
Vydáno 1986

Domains and lambda-calculi /

Autor Amadio, Roberto M., Curien, Pierre-Louis, 1953-
Vydáno 1998