Type theory and formal proof an introduction 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 . 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. 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. 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