Unabridged
Isomorphisms of types: From [lambda]-calculus to information retrieval and language design (Progress in theoretical computer science)
Chapter 1 - Introduction
Ready to play
0:00
10h 27m
Narrator
Premium Studio Voice
Quality
Lossless Audio (HQ)
Language
English (Original)
Download Size
279 MB