Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

2014

Ratings1

Average rating3.5

15

No activities were found