TY  - RPRT
TI  - Higher category models of the pi-calculus
AU  - Mike Stay
AU  - Lucius Gregory Meredith
PY  - 2015
UR  - https://arxiv.org/abs/1504.04311
ID  - 1504.04311
ER  -