Yann Hamdaoui

Interpreting a concurrent $λ$-calculus in differential proof nets (extended version)

2021 · arXiv (Cornell University)

In this paper, we show how to interpret a language featuring concurrency, references and replication into proof nets, which correspond to a fragment of differential linear logic. We prove a simulation and adequacy theorem. A …