Domains and Lambda Calculi by Roberto M. Amadio & Pierre-Louis Curien