Simmons, H. <br/><br/>
Derivation and Computation: Taking the Curry-Howard correspondence seriously 

 - Cambridge  Cambridge University Press  2000 
 - xxv, 384p. 
 - Cambridge Tracts in Theoretical Computer Science no. 51 .
<br/><br/><label>ISBN: </label>978-0-521-77173-3