Modern perspective on type theory, a: from its origins until today
Auteur :
Kamareddine, Fairouz D.
Éditeur :
Kamareddine, Fairouz D.Laan, Twan,Nederpelt, Rob,
ISBN :
9781402023347
Date de publication :
1 juin 2004
Dimensions :
23,5 x 15,5 x 2,2 cm
Poids :
708 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Provides an overview of type theory. This title places historical systems in the modern setting. It deals with modern type theory as it developed since the 1940s, and with the role of propositions as types or proofs as terms. It proposes systems that bring more advantages together.