Books by Venanzio Capretta

Cover of Logics and Type Systems in Theory and Practice

Logics and Type Systems in Theory and Practice

by Venanzio Capretta, Robbert Krebbers, Freek Wiedijk

2024

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

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

by Venanzio Capretta

2010

Can't find the book you're looking for? Let us know — it helps us improve.