Substitution Principle and semidirect products.Published in:Mathematical Structures in Computer Science, 2023, v. 33, n. 6, p. 486, doi. 10.1017/S0960129523000294By:Borlido, Célia;Gehrke, MaiPublication type:Article
Robustness, Scott continuity, and computability.Published in:Mathematical Structures in Computer Science, 2023, v. 33, n. 6, p. 536, doi. 10.1017/S0960129523000233By:Farjudian, Amin;Moggi, EugenioPublication type:Article