Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies

Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini. Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies. Logical Methods in Computer Science, 15(2), 2019. [doi]

Abstract

Abstract is missing.