Proofs and Types. 
Girad, J.Y. 
 - New yok   Cambridge University  Fiction 
<br/><br/><label>ISBN: </label>0521371813