Internalizations of decorated bicategories via π -indexingsDocumentoInternalizations of decorated bicategories via π -indexingsAggiunto da amalsalgoda0 valutazioniIl 0% ha trovato utile questo documentoSalva Internalizations of decorated bicategories via π -indexings per dopo