Dan Frumin

MaRDI QIDQ3119465zbMATH OpenFDO

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
Around classical and intuitionistic linear processes	2026-02-10	Paper
The interval domain in homotopy type theory	2025-02-07	Paper
Semi-automated reasoning about non-determinism in C expressions Programming Languages and Systems	2023-11-24	Paper
Bicategories in univalent foundations Mathematical Structures in Computer Science	2022-12-09	Paper
Bicategories in univalent foundations (available as arXiv preprint)	2022-07-18	Paper
Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq	2021-12-10	Paper
scientific article; zbMATH DE number 7407781 (Why is no real title available?) (available as arXiv preprint)	2021-10-08	Paper
scientific article; zbMATH DE number 7407781 (Why is no real title available?)	2021-10-08	Paper
ReLoC: a mechanised relational logic for fine-grained concurrency Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
A homotopy-theoretic model of function extensionality in the effective topos Mathematical Structures in Computer Science	2019-03-12	Paper
Bicategories in Univalent Foundations (available as arXiv preprint)	2019-03-04	Paper

Research outcomes over time

This page was built for person: Dan Frumin