Danil Annenkov
From MaRDI portal
Person:5101925
Available identifiers
zbMath Open annenkov.danilMaRDI QIDQ5101925
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Two-level type theory and applications | 2024-03-05 | Paper |
| Two-level type theory and applications - ERRATUM | 2024-03-05 | Paper |
| Extracting functional programs from Coq, in Coq | 2022-09-02 | 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: Danil Annenkov
