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