You are here: Home › Books › Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

ISBN: 1139567721

ISBN 13: 9781139567725

Authors: Rob Nederpelt, Herman Geuvers

0.00 of 0

Click the button below to register a free account and download the file


Download PDF

Download ePub

*Disclosure:“This post may contain affiliate links and I earn from qualifying purchases”.


type theory and formal proof an introduction, type theory and formal proof an introduction by rob nederpelt and herman geuvers