Programming in Martin-Löf's Type Theory: An Introduction

12.58 MiB

Download ready in 3s