Searching for "An Introduction to Dependent Type Theory." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Dependent Types with Explicit Substitutions: A meta-theoretical development
- … and weak normalization. 1 Introduction The Dependent Type theory, namely \Pi , is introduced in [12…
- Cited by 7 (0 self) – Add To MetaCart
-
Translating Dependent Type Theory into Higher Order Logic
- …) topos (as formulated by Phoa). 1 Introduction In dependent type theory (DTT, for short) terms may occur…
- Cited by 10 (2 self) – Add To MetaCart
-
Inductive families need not store their indices
- …. 1 Introduction Dependent type theory provides programmers with more than an integrated logic…
- Cited by 16 (8 self) – Add To MetaCart
-
A type-theoretic framework for formal reasoning with different logical foundations
- … mathematics and an impredicative one in the verification of security protocols. 1 Introduction Dependent type…
- Cited by 1 (1 self) – Add To MetaCart
-
Dependent Types With Subtyping and Late-Bound Overloading
- … in more detail. 2.1 Logic encodings The first order dependent type theory \Pi [HHP93] (see Section 3…
- Cited by 2 (0 self) – Add To MetaCart
-
Aufgabensteller: Betreuer:
- … efforts to extend their use to functional programming languages. Dependent type theories allow programming…
- Add To MetaCart
-
Defining and reasoning about recursive functions: a practical tool for the coq proof assistant
- … on two case studies. 1 Introduction Dependent type theory provides a powerful language in which programs…
- Cited by 11 (0 self) – Add To MetaCart
Showing 1 through 7.
