Type Theory and Formal Proof: An Introduction by Rob Nederpelt

download center

Type Theory and Formal Proof: An Introduction

Rob Nederpelt - Type Theory and Formal Proof: An Introduction
Enter the sum