Sign in
Join Literal
Type Theory and Formal Proof
Rob Nederpelt
Want to read
Sign up to use
Rob Nederpelt
Type Theory and Formal Proof
An Introduction
Rob Nederpelt,
Herman Geuvers
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
Discover more books like Type Theory and Formal Proof
