Identity types and weak factorization systems in Cauchy complete categories.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 9, p. 1411, doi. 10.1017/S0960129519000033
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2019 AND VI 29 AND IP 9
Results: 4
1
2
Decidability of regular language genus computation.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 9, p. 1428, doi. 10.1017/S0960129519000057
- By:
- Publication type:
- Article
3
Abstract machines, optimal reduction, and streams.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 9, p. 1379, doi. 10.1017/S096012951900001X
- By:
- Publication type:
- Article
4
Singular value automata and approximate minimization.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 9, p. 1444, doi. 10.1017/S0960129519000094
- By:
- Publication type:
- Article