Thorsten Altenkirch

Books
Conceptual Programming with Python Conceptual Programming with Python
Conceptual Programming with Python
2020
Types for Proofs and Programs Types for Proofs and Programs
Types for Proofs and Programs
2007