Jan M. Smith

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