Old Web
English
Sign In
Acemap
>
authorDetail
>
Daniil Frumin
Daniil Frumin
Computer science
Programming language
Discrete mathematics
Topos theory
Homotopy
4
Papers
12
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A homotopy-theoretic model of function extensionality in the effective topos
2019
Mathematical Structures in Computer Science
Daniil Frumin
Benno van den Berg
Show All
Source
Cite
Save
Citations (6)
A benchmark for C program verification.
2019
arXiv: Programming Languages
Marko C. J. D. van Eekelen
Daniil Frumin
Herman Geuvers
Léon Gondelman
Robbert Krebbers
Marc Schoolderman
Sjaak Smetsers
Freek Verbeek
Benoît Viguier
Freek Wiedijk
Show All
Source
Cite
Save
Citations (0)
A homotopy-theoretic model of function extensionality in the effective topos.
2017
arXiv: Logic in Computer Science
Daniil Frumin
Benno van den Berg
Show All
Source
Cite
Save
Citations (6)
True Concurrency and Net Unfoldings
2013
Daniil Frumin
Show All
Source
Cite
Save
Citations (0)
1