EasyChair Smart Slide
Formalization in Constructive Type Theory of the Standardization Theorem
Formalization in Constructive Type Theory of the Standardization Theorem