Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

£25.29

Pages: 175, Edition: First Edition, Paperback, Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Pages: 175, Edition: First Edition, Paperback, Apress

Price now:

£25.29

£25.29

Amazon

Shop

Similar Products

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Amazon

£25.29

£29.99

View All
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Amazon

£45.31

CHAOS THEORY AND NONLINEAR DYNAMICS: A Simple Introduction to Sensitive Dependence and Attractors

Amazon

£21.95

Types of Christian Mission: An Introduction

Amazon

£26.45

£30.00

Introduction to the Potential Theory for the Time-Dependent Stokes System (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)

Amazon

£165.00