The following pages link to When are Two Algorithms the Same? (Q3633205):
Displayed 4 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- 2011 North American Annual Meeting of the Association for Symbolic Logic (Q2893284) (← links)
- Galois Theory of Algorithms (Q3299851) (← links)
- Semantics-to-Syntax Analyses of Algorithms (Q4637221) (← links)