Chiara Sarti

From MaRDI portal
Person:6408091

Available identifiers

zbMath Open sarti.chiaraMaRDI QIDQ6408091

List of research outcomes





PublicationDate of PublicationType
Posetal Diagrams for Logically-Structured Semistrict Higher Categories2023-05-19Paper
Zeta-regularized Lattice Field Theory with Lorentzian background metrics2022-08-17Paper
homotopy.io: a proof assistant for finitely-presented globular $n$-categoriesN/APaper
CaTT contexts are finite computadsN/APaper

Research outcomes over time

This page was built for person: Chiara Sarti

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6408091&oldid=37800440"
Powered by MediaWiki