Follow the Author
Nederpelt, Rob
Nederpelt, Rob
E-books
Mathematics and Science
Mathematics
Mathematical foundations
Mathematical logic
Computing and Information Technology
Computer programming / software engineering
Programming and scripting languages: general
Computer science
Mathematical theory of computation

Author's Books

Type Theory and Formal Proof
E-book
Type Theory and Formal Proof
Geuvers, HermanGeuvers, Herman
Price
0
0.01 £
Type Theory and Formal Proof
E-book
Type Theory and Formal Proof
Geuvers, HermanGeuvers, Herman
Price
0
70.00 £
A Modern Perspective on Type Theory
E-book
A Modern Perspective on Type Theory
Nederpelt, RobNederpelt, Rob
Price
109.50 £ * Old Price 125.00 £