Domains and lambda-calculi - Amadio, Roberto M. (Cambridge tracts in theoretical computer science ;, 1998)