Calin Tataru

From MaRDI portal

Person:6510068

Jump to:navigation, search

Available identifiers

zbMath Open tataru.calinMaRDI QIDQ6510068

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A layout algorithm for higher-dimensional string diagrams	N/A	Paper
The theory and applications of anticolimits	N/A	Paper
homotopy.io: a proof assistant for finitely-presented globular $n$-categories	N/A	Paper
Partial orders are the free conservative cocompletion of total orders	N/A	Paper

Research outcomes over time

This page was built for person: Calin Tataru

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6510068&oldid=40446197"