Dan Frumin
From MaRDI portal
Person:3119465
Available identifiers
zbMath Open frumin.danMaRDI QIDQ3119465
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Semi-automated reasoning about non-determinism in C expressions | 2023-11-24 | Paper |
| Bicategories in univalent foundations | 2022-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089004 | 2022-07-18 | Paper |
| Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq | 2021-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5155670 | 2021-10-08 | Paper |
| ReLoC | 2021-01-20 | Paper |
| A homotopy-theoretic model of function extensionality in the effective topos | 2019-03-12 | Paper |
| Bicategories in Univalent Foundations | 2019-03-04 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Dan Frumin
