Cart 0
A Modern Perspective on Type Theory

A Modern Perspective on Type Theory

F.D. Kamareddine

Format: Print Book

ISBN: 9781402023347

  • Save Rp 374.038,03
Tax included.
Will not ship until

This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems 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. The third part proposes new systems that bring more advantages together.

Publication Year: 2005
Imprint: Springer Netherlands
Format: H
Weight (Gram): 1570





We Also Recommend

Taming the Guerrilla in International Commercial Arbitration

Taming the Guerrilla in International Commercial Arbitration
Commercial Aviation in the Jet Era and the Systems that Make it Possible

Commercial Aviation in the Jet Era and the Systems that Make it Possible

Save Rp 72.672,99
Attitudes, Beliefs, Motivation and Identity in Mathematics Education

Attitudes, Beliefs, Motivation and Identity in Mathematics Education

Save Rp 19.427,43
The Asian 21st Century

The Asian 21st Century

Save Rp 103.732,89
Breast Imaging Essentials

Breast Imaging Essentials