Colimit Completions and the Effective Topos

Edmund Robinson, Giuseppe Rosolini. Colimit Completions and the Effective Topos. Journal of Symbolic Logic, 55(2):678-699, 1990.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.