TY  - RPRT
TI  - Proof-relevant $π$-calculus: a constructive account of concurrency and causality
AU  - Roly Perera
AU  - James Cheney
PY  - 2017
UR  - https://arxiv.org/abs/1604.04575
ID  - 1604.04575
ER  -