TY  - RPRT
TI  - A System of Interaction and Structure
AU  - Alessio Guglielmi
PY  - 2007
DO  - 10.1145/1182613.1182614
UR  - https://arxiv.org/abs/cs/9910023
ID  - cs/9910023
ER  -