Robbert Krebbers profile picture

Robbert Krebbers

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Logics and Type Systems in Theory and Practice