10 citations · 14 across the 13 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018
A Framework for Rewriting Families of String Diagrams
Vladimir Zamdzhiev
We describe a mathematical framework for equational reasoning about infinite families of string diagrams which is amenable to computer automation. The framework is based on context…
cs.LO2018
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
Linear/non-linear (LNL) models, as described by Benton, soundly model a LNL term calculus and LNL logic closely related to intuitionistic linear logic. Every such model induces a c…