Works matching IS 09601295 AND DT 2023 AND VI 33 AND IP 2
Results: 2
Univalent categories of modules.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 2, p. 106, doi. 10.1017/S0960129523000178
- By:
- Publication type:
- Article
A domain-theoretic framework for robustness analysis of neural networks.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 2, p. 68, doi. 10.1017/S0960129523000142
- By:
- Publication type:
- Article