Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions.

Andrej Bauer, Jens Blanck

Browse the full CCA paper archive.