Venanzio Capretta profile picture

Venanzio Capretta

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

Stand Alone

Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming
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
Venanzio Capretta — Books & Biography | Menrva Books