Type Theory and Formal Proof An Introduction

Name: Type Theory and Formal Proof
ISBN: 9781107036505

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.

In print

Ebook

Audiobook

Library

We may earn a commission. Learn more.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.