Preface: Advances in Homotopy Type Theory.
- Published in:
- 2024
- By:
- Publication type:
- Editorial
Works matching IS 09601295 AND DT 2024 AND VI 34 AND IP 9
Results: 7
1
2
Groupoidal realizability for intensional type theory.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 9, p. 911, doi. 10.1017/S0960129524000343
- By:
- Publication type:
- Article
3
Smooth and proper maps with respect to a fibration.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 9, p. 971, doi. 10.1017/S096012952400032X
- By:
- Publication type:
- Article
4
Symmetric monoidal smash products in homotopy type theory.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 9, p. 985, doi. 10.1017/S0960129524000318
- By:
- Publication type:
- Article
5
The category of iterative sets in homotopy type theory and univalent foundations.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 9, p. 945, doi. 10.1017/S0960129524000288
- By:
- Publication type:
- Article
6
A foundation for synthetic algebraic geometry.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 9, p. 1008, doi. 10.1017/S0960129524000239
- By:
- Publication type:
- Article
7
On Hofmann–Streicher universes.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 9, p. 894, doi. 10.1017/S0960129524000203
- By:
- Publication type:
- Article