Special issue on homotopy type theory 2019 vol. 2.
- Published in:
- 2023
- By:
- Publication type:
- Editorial
Works matching IS 09601295 AND DT 2023 AND VI 33 AND IP 8
Results: 5
1
2
Two-level type theory and applications.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 8, p. 688, doi. 10.1017/S0960129523000130
- By:
- Publication type:
- Article
3
On notions of compactness, object classifiers, and weak Tarski universes.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 8, p. 661, doi. 10.1017/S0960129523000051
- By:
- Publication type:
- Article
4
The long exact sequence of homotopy n -groups.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 8, p. 679, doi. 10.1017/S0960129523000038
- By:
- Publication type:
- Article
5
Monoidal weak ω -categories as models of a type theory.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 8, p. 744, doi. 10.1017/S0960129522000172
- By:
- Publication type:
- Article