Code related to the paper "Erased Postulates, Identity Types and Quotients"
0Citations signalées — pas une note de qualité
2Institutions déclarées
1Pays d’affiliation déclarés
Résumé fourni par la source
This formalisation is related to the paper Erased Postulates, Identity Types and Quotients by Nils Anders Danielsson. It builds on a formalisation due to Andreas Abel, Nils Anders Danielsson, Oskar Eriksson, Naïm Camille Favier, Eve Geng, Gaëtan Gilbert, Ondřej Kubánek, Wojciech Nawrocki, Joakim Öhman and Andrea Vezzosi.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Contrôle bibliographique ouvert
La source scientifique ouverte est momentanément indisponible.
Institutions déclarées
Une affiliation ne permet pas de déduire la nationalité d’un auteur.