Thorsten Altenkirch

Identifiers

Amazon024482276X
Open LibraryOL9105139A

Books by Thorsten Altenkirch

Total count: 2

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

Springer London, Limited2003-01-01
Conceptual Programming with Python

Lulu Press, Inc.2020-01-01