TY  - RPRT
TI  - The stack calculus
AU  - Alberto Carraro
AU  - Thomas Ehrhard
AU  - Antonino Salibra
PY  - 2013
DO  - 10.4204/eptcs.113.10
UR  - https://arxiv.org/abs/1303.7331
ID  - 1303.7331
ER  -