Univalent categories of modules.Published in:Mathematical Structures in Computer Science, 2023, v. 33, n. 2, p. 106, doi. 10.1017/S0960129523000178By:Flaten, Jarl G. TaxeråsPublication 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/S0960129523000142By:Zhou, Can;Shaikh, Razin A.;Li, Yiran;Farjudian, AminPublication type:Article