Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

2014

Ratings1

Average rating3.5

15
Filter by rating
-