Simmons, Harold <br/><br/>
Derivation and computation  : taking the Curry-Howard correspondence seriously 
Harold Simmons 
 - Cambridge:  Cambridge University Press,  2000. 
 - xxv, 384p. 
<br/><br/> Includes index and bibliography 
<br/><br/><br/>Eng 
<br/><br/><label>ISBN: </label>0521771730 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Type theory<br/>Proof theory<br/>Lambda calculus
<br/><br/><label>Dewey Class. No.: </label>511.321  / SID