Hindley, J. Roger <br/><br/>
Basic simple type theory 

 - Cambridge:  Cambridge University Press,  1997 
 - xi, 186 p. : ill. ; 24 cm 
<br/><br/><label>ISBN: </label>9780521465182 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)
<br/><br/><label>Dewey Class. No.: </label>005.13 HIN