TY  - RPRT
TI  - Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
AU  - Bert Lindenhovius
AU  - Michael Mislove
AU  - Vladimir Zamdzhiev
PY  - 2018
DO  - 10.1145/3209108.3209196
UR  - https://arxiv.org/abs/1804.09822
ID  - 1804.09822
ER  -