Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 1, p. 1, doi. 10.1017/S0960129521000244
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2021 AND VI 31 AND IP 1
Results: 5
1
2
Injective types in univalent mathematics.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 1, p. 89, doi. 10.1017/S0960129520000225
- By:
- Publication type:
- Article
3
Extensional constructive real analysis via locators.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 1, p. 64, doi. 10.1017/S0960129520000171
- By:
- Publication type:
- Article
4
Indexed type theories.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 1, p. 3, doi. 10.1017/S0960129520000092
- By:
- Publication type:
- Article
5
Homotopy type-theoretic interpretations of constructive set theories.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 1, p. 112, doi. 10.1017/S0960129519000148
- By:
- Publication type:
- Article