Ugo de Liguoro

• Types for Proofs and Programs
• Types for Proofs and Programs