Unabridged
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)
Chapter 1 - Introduction
Ready to play
0:00
10h 22m
Narrator
Premium Studio Voice
Quality
Lossless Audio (HQ)
Language
English (Original)
Download Size
209 MB