An intuitionistic set-theoretical model of fully dependent CC.

Masahiro SatoJacques Garrigue
Published in: Math. Struct. Comput. Sci. (2023)
Keyphrases