عنوان
پدید آورنده
موضوع
رده
QA9 .K225 2004
QA9
.
K225
2004
کتابخانه
محل استقرار
1402023340
1402023359
9781402023347
9781402023354
b761201
A modern perspective on type theory :
[Book]
from its origins until today /
by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
Boston :
Kluwer Academic Publishers,
©2004.
1 online resource (xiv, 357 pages)
Applied logic series ;
v. 29
Includes bibliographical references (pages 337-348) and indexes.
The evolution of type theory until the 1940s -- Propositions as types, pure type systems, AUTOMATH -- Extensions of pure type systems.
0
"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.
MIL
61676
Modern perspective on type theory.
1402023340
Type theory.
MATHEMATICS-- Infinity.
MATHEMATICS-- Logic.
Type theory.
Type theory.
Typentheorie.
MAT-- 016000
MAT-- 018000
QA
511
.
3
22
QA9
.
K225
2004
31
.
10
O144
.
4
bcl
clc
Kamareddine, Fairouz D.
Laan, Twan.
Nederpelt, R. P., (Rob P.)
20201204205153.0
pn
مطالعه متن کتاب [Book]
Y
