AMADIO R.M. & CURIEN P. <br/><br/>
DOMAINS AND LAMBDA-CALCULI 

 -  CAMBRIDGE : CAMBRIDGE UNIVERSITY PRESS  1998 
 - 484 p. 
<br/><br/><label>ISBN: </label>0000521622778 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artififical Inteligent :Semantics : Programming Language 
<br/><br/><label>Dewey Class. No.: </label>006.3  / A51