The road to epsilon-zero: Productive programs and well-founded orders

2 points | by Brajeshwar 5 hours ago