Description 
1 online resource (xiv, 357 pages) 
Series 
Applied logic series ; v. 29 

Applied logic series ; v. 29.

Contents 
The evolution of type theory until the 1940s  Propositions as types, pure type systems, AUTOMATH  Extensions of pure type systems 
Summary 
"This first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general."Jacket 
Bibliography 
Includes bibliographical references (pages 337348) and indexes 
Notes 
English 
In 
OhioLINK electronic book center 

SpringerLink 
Subject 
Type theory.


MATHEMATICS  Infinity.


MATHEMATICS  Logic.


Type theory.


Type theory


Typentheorie.

Form 
Electronic book

Author 
Laan, Twan


Nederpelt, R. P. (Rob P.)

LC no. 
2004051545 
ISBN 
1402023340 

9781402023347 

1402023359 

9781402023354 
