The Work Lecture Notes in Computer Science. Types for Proofs and Programs The details The Author Christine Paulin-Mohring The offers