Found: 11
Select item for more details and to access through your institution.
Univalence for inverse diagrams and homotopy canonicity.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1203, doi. 10.1017/S0960129514000565
- By:
- Publication type:
- Article
Sets in homotopy type theory.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1172, doi. 10.1017/S0960129514000553
- By:
- Publication type:
- Article
An experimental library of formalized Mathematics based on the univalent foundations.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1278, doi. 10.1017/S0960129514000577
- By:
- Publication type:
- Article
A univalent formalization of the p-adic numbers.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1147, doi. 10.1017/S0960129514000541
- By:
- Publication type:
- Article
A notion of homotopy for the effective topos.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1132, doi. 10.1017/S096012951400053X
- By:
- Publication type:
- Article
A dependently-typed construction of semi-simplicial types.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1116, doi. 10.1017/S0960129514000528
- By:
- Publication type:
- Article
W-types in homotopy type theory.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1100, doi. 10.1017/S0960129514000516
- By:
- Publication type:
- Article
A generalization of the Takeuti–Gandy interpretation.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1071, doi. 10.1017/S0960129514000504
- By:
- Publication type:
- Article
Homotopy limits in type theory.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1040, doi. 10.1017/S0960129514000498
- By:
- Publication type:
- Article
Univalent categories and the Rezk completion.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1010, doi. 10.1017/S0960129514000486
- By:
- Publication type:
- Article
Introduction – from type theory and homotopy theory to univalent foundations.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1005, doi. 10.1017/S0960129514000474
- By:
- Publication type:
- Article