Univalent Material Set Theory

MaRDI QIDQ6464413zbMATH OpenFDO

Authors Håkon Robbestad Gylterud, Elisabeth Stenholm

Publication date 20 December 2023

Mathematics Subject Classification ID

Type theory (03B38) Logic in computer science (03B70) Other constructive mathematics (03F65)

This page was built for publication: Univalent Material Set Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6464413)