3 citations · 3 across the 8 of their papers we have counts for
8 papers
cs.PL2018
A Theory of Lazy Imperative Timing
Eric C. R. Hehner
We present a theory of lazy imperative timing.
cs.LO2016
A Tale of Two Turing Machines
Eric Hehner
Two Turing Machines may be able to answer questions about each other that they cannot answer about themselves.
cs.LO2016
Epimenides, Gödel, Turing: an Eternal Gölden Tangle
Eric C. R. Hehner
The Halting Problem is a version of the Liar's Paradox.
cs.LO2016
Observations on the Halting Problem
Eric C. R. Hehner
The Halting Problem is ill-conceived and ill-defined.
cs.LO2016
How to Compute Halting
Eric C. R. Hehner
A consistently specified halting function may be computed.
cs.PL2009
Programming with Quantum Communication
Anya Tafliovich, Eric C. R. Hehner
This work develops a formal framework for specifying, implementing, and analysing quantum communication protocols. We provide tools for developing simple proofs and analysing progr…