Skip to content

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

Daniel Hirschkoff, Iwan Qumerais, Davide Sangiorgi

VenueBCONCUR
Year2025
ProceedingsCONCUR

Browse the full CONCUR paper archive.