TY  - RPRT
TI  - The Rooster and the Syntactic Bracket
AU  - Hugo Herbelin
AU  - Arnaud Spiwack
PY  - 2014
UR  - https://arxiv.org/abs/1309.5767
ID  - 1309.5767
ER  -