1 citations · 1 across the 1 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2018
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
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…