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

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS