ELEMENTARY QUOTIENT COMPLETIONS, CHURCH'S THESIS, AND PARTITIONED ASSEMBLIES.Published in:Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 3, p. 1, doi. 10.23638/LMCS-15(2:21)2019By:MAIETTI, MARIA EMILIA;PASQUALI, FABIO;ROSOLINI, GIUSEPPEPublication type:Article