TY  - RPRT
TI  - Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
AU  - Maria Emilia Maietti
AU  - Fabio Pasquali
AU  - Giuseppe Rosolini
PY  - 2019
DO  - 10.23638/lmcs-15(2:21)2019
UR  - https://arxiv.org/abs/1802.06400
ID  - 1802.06400
ER  -