Amadio, Roberto M <br/><br/>
Domains and lambda-calculi 
Roberto M. Amadio, Pierre-Louis Curien 
 - 1st ed 
 - Cambridge  Cambridge University Press  1998 
 - xvi, 484 p. ; 24 cm 
<br/><br/> Includes bibliographical references (p. [469]-479) and index 
<br/><br/><label>ISBN: </label>9780521622776 
<br/><br/><label>ISSN: </label>98212250 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lambda calculus<br/>Programming languages (Electronic computers) - Semantics
<br/><br/><label>Dewey Class. No.: </label>511.3 AMA