Name: Type Theory and Formal Proof: An Introduction (PDF/EPUB Version)
SKU: B20871
Availability: InStock

Type Theory and Formal Proof: An Introduction (PDF/EPUB Version)

$18.99

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material.

eBook features:

Highlight, take notes, and search in the book
Create digital flashcards instantly

“¡Ándale, Prieta!: A Love Letter to My Family (PDF/EPUB Version)” has been added to your cart. Continue shopping

“‘Going Native?’: Settler Colonialism and Food (Food and Identity in a Globalising World) (PDF/EPUB Version)” has been added to your cart. Continue shopping

““Buyurdum ki….” – The Whole World of Ottomanica and Beyond: Studies in Honour of Claudia Römer (PDF/EPUB Version)” has been added to your cart. Continue shopping

“Singing a Different Tune: The Slavic Film Musical in a Transnational Context (PDF/EPUB Version)” has been added to your cart. Continue shopping

“This shark, swallow you whole: Essays on the Cultural Influence of Jaws (PDF/EPUB Version)” has been added to your cart. Continue shopping

“.NET 7 Design Patterns In-Depth (PDF/EPUB Version)” has been added to your cart. Continue shopping

Click to enlarge

Add to wishlist

Description

Type Theory and Formal Proof: An Introduction (PDF/EPUB Version)

Important: No Access Code

CBOT Handbook of Futures and Options (PDF/EPUB Version)

Early Christian Latin Poets (The Early Church Fathers) (PDF/EPUB Version)

Fundamentals of Aviation Law (PDF/EPUB Version)

Low Voltage Wiring: Security/Fire Alarm Systems (PDF/EPUB Version)

Sun Certified System Administrator for Solaris 10 Study Guide (Exams CX-310-200 & CX-310-202) (Certification Press) (PDF/EPUB Version)

The Emperor Domitian (PDF/EPUB Version)

The Idea of Building: Thought and Action in the Design and Production of Buildings (PDF/EPUB Version)

Tiberius the Politician (Roman Imperial Biographies) (PDF/EPUB Version)

Type Theory and Formal Proof: An Introduction (PDF/EPUB Version)

Important: No Access Code

Related products