Title: Twenty-five years of constructive type theory
Subjects: Type theory, Congresses, Mathematics