Barendregt, H <br/><br/>
Lambda calculus with types 

 - Cambridge  Cambridge University Press  2013 
 - xiii, 833p. 
<br/><br/><label>ISBN: </label>978-0-521-76614-2