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