Goodreads Choice Awards 2025

Join the Goodreads Author Program

Are you Thorsten Altenkirch, author of the books below?
Conceptual Programming with Python by Thorsten Altenkirch Types for Proofs and Programs by Thorsten Altenkirch Types for Proofs and Programs by Thorsten Altenkirch Mathematics For Computer Scientists by Thorsten Altenkirch Types for Proofs and Programs by Thorsten Altenkirch Types for Proofs and Programs by Thorsten Altenkirch


To join the author program as Thorsten Altenkirch, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads