Thorsten AltenkirchBooksTypes for Proofs and ProgramsConceptual Programming with PythonAuthor data: Open Library