Dan Frumin

University of Groningen

Netherlands

Research Interests

Explore related searches

Professors in Netherlands

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (5)

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2021

Collaborators (3)

Emanuele D'Osualdo

Tenure-Track Professor

University of Konstanz

GERMANY

View details

Benedikt Ahrens

Assistant Professor

Delft University of Technology

NETHERLANDS

View details

Jorge A. Pérez

University of Groningen

NETHERLANDS

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Dan Frumin

Research Interests

Explore related searches

Contact this professor

Articles (5)

Bicategories in univalent foundations

A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency

Mechanized verification of a fine-grained concurrent queue from meta’s folly library

Semantic cut elimination for the logic of bunched implications, formalized in Coq

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity

Collaborators (3)

Emanuele D'Osualdo

Benedikt Ahrens

Jorge A. Pérez

Make your next move.