Back to Technology Books
Programming in Martin-Löf's type theory
by Bengt Nordström
0.0 out of 5 (0 reviews)
Available Formats
View PDF
View EPUB
View MOBI
View FB2
Similar Books
The Data Science Handbook
Carl Shan, William Chen, Henry Wang, Max Song
The Spirit of a Man
Iyanla Vanzant
Guide to Competitive Programming
Antti Laaksonen
The Erth Dragons
Chris D'Lacey
