Kamareddine, Fairouz. <br/><br/>
A Modern Perspective on Type Theory  From its Origins until Today /  [electronic resource] : 
by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. 
 - Dordrecht :  Springer Science+Business Media, Inc.,  2005. 
 - xiv, 357 p. :  digital ;  25 cm. 
 - Applied Logic Series,  29  1386-2790 ; .
<br/><br/><label>ISBN: </label>9781402023354 (electronic bk.) 9781402023347 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Type theory.<br/>Mathematics.<br/>Mathematics of Computing.<br/>Logic.<br/>Mathematical Logic and Foundations.
<br/><br/><label>LC Class. No.: </label>QA9  / .K225 2005 
<br/><br/><label>Dewey Class. No.: </label>511.3