Hindley, J. Roger <br/><br/>
Basic simple type theory / 
J. Roger Hindley 
 - New York :  Cambridge University Press,  1997 
 - xi, 186 p. :  ill. ;  24 cm. 
 - Cambridge tracts in theoretical computer science .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780521054225 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)<br/>Type theory