Authors | Herman Geuvers
autor-image
Herman Geuvers

Books by Herman Geuvers

Types for Proofs and Programs
Types for Proofs and Programs: by Herman Geuvers
by Herman Geuvers
Intelligent Computer Mathematics: 10th International Conference, Cicm 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings: 10th Int
Intelligent Computer Mathematics: 10th International Conference, Cicm 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings: 10th Int: by Herman Geuvers
by Herman Geuvers

Stay in touch.

© 2025 AMPLE READS