Proof Theory and Dependent Type Theory: Distinct Foundations for Designing Proof Assistants | Digital Library | PAMCET

Proof Theory and Dependent Type Theory: Distinct Foundations for Designing Proof Assistants | Digital Library | PAMCET | PAMCET