59 citations · 224 across the 22 of their papers we have counts for
Showing 2018 · math.LOShow all
2 papers · 2 filters
math.LO2018★ 3 cited
Encodings of Turing machines in Linear Logic
James Clift, Daniel Murfet
We give several different encodings of the step function of a Turing machine in intuitionistic linear logic, and calculate the denotations of these encodings in the Sweedler semant…
math.LO2018★ 3 cited
Derivatives of Turing machines in Linear Logic
James Clift, Daniel Murfet
We calculate denotations under the Sweedler semantics of the Ehrhard-Regnier derivatives of various encodings of Turing machines into linear logic. We show that these derivatives c…