Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
Thorsten Altenkirch — Author | Lex | Lex
T
Thorsten Altenkirch
2 works on record
Works
Conceptual Programming with Python
Types for Proofs and Programs
Types for Proofs and Programs