libcats.org
Главная

A Modern Perspective on Type Theory: From Its Origins Until Today

Обложка книги A Modern Perspective on Type Theory: From Its Origins Until Today

A Modern Perspective on Type Theory: From Its Origins Until Today

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.
Популярные книги за неделю:

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Excel as Your Database

Автор:
Размер книги: 2.98 Mb

AESTHETICS CL (Fundamentals of Philosophy)

Автор:
Размер книги: 809 Kb

Francisco Goya (The Great Hispanic Heritage)

Автор:
Размер книги: 1.20 Mb

Critical Thinking Puzzles

Автор:
Размер книги: 1.15 Mb

A traves de las puertas de la llave de p

Автор:
Категория: fiction
Размер книги: 194 Kb

Bonhoeffer Pastor, Martyr, Prophet, Spy A Righteous Gentile vs. The Third Reich

Автор:
Категория: fiction
Размер книги: 3.52 Mb

Answers to Pastors' FAQs (Epub & Mobi)

Автор: , Автор:
Категория: Christian
Размер книги: 555 Kb