TY  - RPRT
TI  - Graphic lambda calculus
AU  - Marius Buliga
PY  - 2013
UR  - https://arxiv.org/abs/1305.5786
ID  - 1305.5786
ER  -