Amadio,, Roberto M. Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien

Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien . - Cambridge : Cambridge University Press, 1998 . - XVI, 484 p. 24 cm . - (Cambridge tracts in theoretical computer science; 46)
0-521-62277-8 Encadernado

519.682