Giovanni Sambin

• Twenty Five Years of Constructive Type Theory
• Twenty-five years of constructive type theory
• Basic Picture
• Twenty-five years of constructive type theory