Reading Length
Home
Speed Tests
Login
Venanzio Capretta
Identifiers
Open Library
OL13006300A
Books by Venanzio Capretta
Total count: 2
Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming
Association for Computing Machinery
2010-01-01
Logics and Type Systems in Theory and Practice
Essays Dedicated to Herman Geuvers on the Occasion of His 60th Birthday
Springer
2024-01-01
