Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams.

Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev

Browse the full LICS paper archive.