Venanzio Capretta

No bio available. Add one in Open Library.

Books by Venanzio Capretta (50 max)

+ shelf+ list

Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming

2010

Venanzio Capretta

+ shelf+ list

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on the Occasion of His 60th Birthday

2024

Venanzio Capretta, Robbert Krebbers, Freek Wiedijk