Similar Items: Generic algorithms for halting problem and optimal machines revisited
- Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
- Sequential decision problems, dependent types and generic solutions
- Generic Fibrational Induction
- Generic Trace Semantics via Coinduction
- Generic Modal Cut Elimination Applied to Conditional Logics
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence