Thorsten Altenkirch

No bio available. Add one in Open Library.

Books by Thorsten Altenkirch (50 max)

+ shelf+ list

Types for Proofs and Programs International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

2003

Thorsten Altenkirch, Conor McBride

+ shelf+ list

Conceptual Programming with Python

2020

Thorsten Altenkirch, Isaac Triguero