9 citations · 26 across the 9 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015★ 1 cited
Linear Types Can Change the Blockchain
Lucius Gregory Meredith
We give an interpretation of full classical linear logic, and linear proofs in terms of operations on the blockchain.
cs.LO2015★ 3 cited
Higher category models of the pi-calculus
Mike Stay, Lucius Gregory Meredith
We present an approach to modeling computational calculi using higher category theory. Specifically we present a fully abstract semantics for the pi-calculus. The interpretation is…