A Modern Perspective on Type Theory
T. Laan Rob Nederpelt F.D. Kamareddine
Sold by Books Puddle, New York, NY, U.S.A.
AbeBooks Seller since November 22, 2018
New - Hardcover
Condition: New
Ships within U.S.A.
Quantity: 4 available
Add to basketSold by Books Puddle, New York, NY, U.S.A.
AbeBooks Seller since November 22, 2018
Condition: New
Quantity: 4 available
Add to basket"This book has evolved from a number of projects by the authors ... into aspects of the evolution of calculus and type theory in Logic, Mathematics and Computation. ... The crown of this collaboration is this very rich and well written book ... . This book not only gives a nice and concise overview ... but also a mathematically precise and faithful reconstruction of the different type theories ... . I expect the book will be a major work of reference ... ." H.C.M. De Swart, Journal of Logic, Language and Information, Vol. 15, 2006
"About this title" may belong to another edition of this title.
We accept return for those books which are received damaged. Though we take appropriate care in packing to avoid such situation.
| Order quantity | 12 to 19 business days | 12 to 14 business days |
|---|---|---|
| First item | US$ 3.99 | US$ 6.99 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.