TY  - RPRT
TI  - Proof-relevant pi-calculus
AU  - Roly Perera
AU  - James Cheney
PY  - 2015
DO  - 10.4204/eptcs.185.4
UR  - https://arxiv.org/abs/1507.08054
ID  - 1507.08054
ER  -