Bombo, Katalin  <br/><br/>
Combinatory Logic: pure applied and typed  

 -  CRC Press  2011 
<br/><br/><label>ISBN: </label>