View of Hybrid type theory with undefinedness: a varying-domain approach

Return to Issue Details Hybrid type theory with undefinedness: a varying-domain approach Download Download PDF