Research output per year
Research output per year
Fingerprint
Dive into the research topics where Dan Frumin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Around Classical and Intuitionistic Linear Processes
Jaramillo, J. C., Frumin, D. & Pérez, J. A., Sept-2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 19 p. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile18 Downloads (Pure) -
Modular Denotational Semantics for Effects with Guarded Interaction Trees
Frumin, D., Timany, A. & Birkedal, L., 5-Jan-2024, In: Proceedings of the ACM on Programming Languages. 8, 30 p., 12.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Citation (Scopus)36 Downloads (Pure) -
The Interval Domain in Homotopy Type Theory
van der Weide, N. & Frumin, D., 22-May-2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Capretta, V., Krebbers, R. & Wiedijk, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 241-256 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14560 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open AccessFile5 Downloads (Pure) -
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency
Frumin, D., D'Osualdo, E., van den Heuvel, B. & Pérez, J. A., Oct-2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, p. 841-869 29 p., 155.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Citations (Scopus)60 Downloads (Pure) -
Bicategories in univalent foundations
Ahrens, B., Frumin, D., Maggesi, M., Veltri, N. & Van Der Weide, N., 9-Mar-2022, In: Mathematical structures in computer science. 31, SI: 10, p. 1232–1269 38 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile7 Citations (Scopus)95 Downloads (Pure)
Press/Media
-
The power of logic in computation
Hansen, H. H., Perez Parra, J. & Frumin, D.
19/04/2022
1 item of Media coverage
Press/Media: Other › Professional