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

1 points | by pavel_lishin 6 hours ago