What should a generic object be?
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 1, p. 46, doi. 10.1017/S0960129523000117
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2023 AND VI 33 AND IP 1
Results: 3
1
2
Local Yoneda completions of quasi-metric spaces.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 1, p. 33, doi. 10.1017/S0960129523000105
- By:
- Publication type:
- Article
3
An intuitionistic set-theoretical model of fully dependent CC $^{\boldsymbol\omega}$.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 1, p. 1, doi. 10.1017/S0960129523000087
- By:
- Publication type:
- Article