Domains and lambda calculi - Amadio, Roberto M.; Curien, Pierre-Louis (Cambridge Univ. Press, 1998)
Hier auch später erschienene, unveränderte Nachdrucke