238 citations · 552 across the 10 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
Basic Elements of Logical Graphs
Lucas Dixon
We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation is that it absorbs certain…
cs.LO2010★ 6 cited
Open Graphs and Computational Reasoning
Lucas Dixon, Ross Duncan, Aleks Kissinger
We present a form of algebraic reasoning for computational objects which are expressed as graphs. Edges describe the flow of data between primitive operations which are represented…