Domains and lambda-calculi
By: Roberto M. Amadio, Pierre-Louis Curien.
Contributors: Curien, P.-L.
Series: Cambridge tracts in theoretical computer science ;; 46
Publisher: Cambridge University Press
Published: 1998
Place of publication: Cambridge, U.K; New York
Language: eng
Number of pages: 484
Subjects: Lambda calculus.; Programming languages (Electronic computers) -- Semantics.
Notes: Includes bibliographical references (p. [469]-479) and index.