Dan Frumin

From MaRDI portal
Person:3119465

Available identifiers

zbMath Open frumin.danMaRDI QIDQ3119465

List of research outcomes





PublicationDate of PublicationType
Semi-automated reasoning about non-determinism in C expressions2023-11-24Paper
Bicategories in univalent foundations2022-12-09Paper
https://portal.mardi4nfdi.de/entity/Q50890042022-07-18Paper
Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq2021-12-10Paper
https://portal.mardi4nfdi.de/entity/Q51556702021-10-08Paper
ReLoC: a mechanised relational logic for fine-grained concurrency2021-01-20Paper
A homotopy-theoretic model of function extensionality in the effective topos2019-03-12Paper
Bicategories in Univalent Foundations2019-03-04Paper

Research outcomes over time

This page was built for person: Dan Frumin

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