Boeken zoals: Type Theory & Formal Proof
Tips voor lezers van Rob Nederpelt
Heb je Type Theory & Formal Proof gelezen? Of ben je fan van de boeken van Rob Nederpelt? Dan vind je hieronder een aantal leestips die ook werden gezocht door lezers van 'Type Theory & Formal Proof'.
Types & Programming Languages (S)
ISBN 9780262162098
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method ...
€ 86.63
Semantics of Type Theory
ISBN 9781461267577
Types can be consid ered as weak specifications of programs and checking that a program is of a certain ...
€ 84.85
Type Theory & Formal Proof
