Amadio, Roberto M., <br/><br/>
Domains and lambda-calculi / 
Roberto M. Amadio, Pierre-Louis Curien 
 - 484 páginas 
<br/><br/><label>ISBN: </label>0521622778 (empastado, cubierta dura) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Cálculo lambda<br/>Lenguajes de programación funcional
<br/><br/><label>LC Class. No.: </label>QA9.5  / A53