Type Theory And Formal Proof: An Introduction

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.

• | By (Author): Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
• | Publisher: Cambridge University Press
• | Publication Date: Nov 06, 2014
• | Country of Publication: United Kingdom
• | Number of Pages: 466 pages
• | Language: Unknown
• | Binding: Hardback
• | ISBN-10: 110703650X
• | ISBN-13: 9781107036505