Author

Thorsten Altenkirch

2 books found

Cover of Conceptual Programming with Python

Conceptual Programming with Python

Thorsten Altenkirch, Isaac Triguero · First published 2020

Cover of Types for Proofs and Programs

Types for Proofs and Programs

Thorsten Altenkirch, Conor McBride · First published 2003