Items where authors include "Maschio, S"

Article

Maietti, ME, Maschio, S and Rathjen, M orcid.org/0000-0003-1699-4778 (2022) Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice. Logical Methods in Computer Science, 18 (4). 5:1-5:28. ISSN 1860-5974

Maietti, ME, Maschio, S and Rathjen, M (2021) A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice. Logical Methods in Computer Science, 17 (2). 21:1-21:21. ISSN 1860-5974