Iwan Quémerais

According to our database, Iwan Quémerais authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

First-Order Store and Visibility in Name-Passing Calculi.

Daniel Hirschkoff, Iwan Quémerais, Davide Sangiorgi

Proceedings of the 36th International Conference on Concurrency Theory, 2025