Limits in categories of Vietoris coalgebras.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 4, p. 552, doi. 10.1017/S0960129518000269
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2019 AND VI 29 AND IP 4
Results: 3
1
2
A homotopy-theoretic model of function extensionality in the effective topos.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 4, p. 588, doi. 10.1017/S0960129518000142
- By:
- Publication type:
- Article
3
Automorphisms of types in certain type theories and representation of finite groups.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 4, p. 511, doi. 10.1017/S0960129518000129
- By:
- Publication type:
- Article