Internalizations of decorated bicategories via π -indexingsDocumentInternalizations of decorated bicategories via π -indexingsAjouté par amalsalgoda0 évaluation0% ont trouvé ce document utileEnregistrer Internalizations of decorated bicategories via π -indexings pour plus tard