Univalence and ontic structuralism
scientific article; zbMATH DE number 7896336
scientific article