Marino Miculan

Types for Proofs and Programs
Foundations of Software Science and Computation Structures