booktheque

Thorsten Altenkirch

2 books in the database

Books

Conceptual Programming with Python
Thorsten Altenkirch · 2020
Types for Proofs and Programs
Thorsten Altenkirch · 2003