TY  - RPRT
TI  - A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AU  - Flavio Cruz
AU  - Ricardo Rocha
AU  - Seth Copen Goldstein
AU  - Frank Pfenning
PY  - 2014
DO  - 10.1017/s1471068414000167
UR  - https://arxiv.org/abs/1405.3556
ID  - 1405.3556
ER  -