Search Results - "Type Theory"
-
1
-
2
Type theory in a type theory with quotient inductive types
Published 2017Subjects: “…type theory…”
Get full text
-
3
Constructions with non-recursive higher inductive types
Published 2016Subjects: “…Homotopy type theory…”
Get full text
-
4
Types with extra structure: predicates, equations, composition
Published 2024Subjects: “…type theory…”
Get full text
-
5
Higher inductive types, inductive families, and inductive-inductive types
Published 2020Subjects: “…Homotopy type theory…”
Get full text
-
6
Truncation levels in homotopy type theory
Published 2015Subjects: “…homotopy type theory…”
Get full text
-
7
Towards a cubical type theory without an interval
Published 2017Subjects: “…homotopy type theory…”
Get full text
-
8
-
9
-
10
Univalent higher categories via complete semi-segal types
Published 2018Subjects: “…Homotopy type theory…”
Get full text
-
11
Extending homotopy type theory with strict equality
Published 2016Subjects: “…homotopy type theory…”
Get full text
-
12
-
13
-
14
-
15
Partiality, revisited: the partiality monad as a quotient inductive-inductive type
Published 2017Subjects: “…homotopy type theory…”
Get full text
-
16
Normalisation by evaluation for type theory, in type theory
Published 2017Subjects: “…normalisation by evaluation; dependent types; internal type theory; logical relations; Agda…”
Get full text
-
17
-
18
-
19
-
20
Notions of anonymous existence in Martin-Löf type theory
Published 2016Subjects: “…homotopy type theory…”
Get full text