Re:Curry–Howard correspondence
by seanmcdirmid on Monday August 13, 2018 @11:19PM
(#17755360)
No you can't really, not that this has much to do with Curry-Howard.
Bubble sort and Quicksort only resemble each other in so much as the result is sorted. All of the other steps are completely different, meaning the abstract shapes of the intermediate computations are very different.
Bubble sort and Quicksort only resemble each other in so much as the result is sorted. All of the other steps are completely different, meaning the abstract shapes of the intermediate computations are very different.