Tag: Topos

Interpretation of dependent type theory in the effective topos Discuss about the Interpretation of dependent type theory in the effective […]