210 citations · 626 across the 20 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015★ 2 cited
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics
Samson Abramsky, Dominic Horsman
Maxwell's Demon, 'a being whose faculties are so sharpened that he can follow every molecule in its course', has been the centre of much debate about its abilities to violate the s…
cs.LO2015★ 18 cited
Abstraction/Representation Theory for Heterotic Physical Computing
Dominic C. Horsman
We give a rigorous framework for the interaction of physical computing devices with abstract computation. Device and program are mediated by the non-logical 'representation relatio…