Sökning: "Menno de Boer"
Hittade 1 avhandling innehållade orden Menno de Boer.
1. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory
Sammanfattning : In this licentiate thesis we present a proof of the initiality conjecture for Martin-Löf’s type theory with 0, 1, N, A+B, ∏AB, ∑AB, IdA(u,v), countable hierarchy of universes (Ui)iєN closed under these type constructors and with type of elements (ELi(a))iєN. We employ the categorical semantics of contextual categories. LÄS MER
Resultatsidor:
1