Login / Signup

On notions of compactness, object classifiers, and weak Tarski universes.

Raffael Stenzel
Published in: Math. Struct. Comput. Sci. (2023)
Keyphrases