Thorsten Altenkirch · 2 obras en el catálogoObrasConceptual Programming with PythonTTypes for Proofs and ProgramsTypes for Proofs and Programs