Top of my deadtree stack is Chazelle, The Discrepancy Method (1998)
(Father of the regrettably more famous Chazelle, if you’re okay californicating rabbit holes)
(Father of the regrettably more famous Chazelle, if you’re okay californicating rabbit holes)
Now that I've pushed BC back to the stack, here's a ref that might be worthier of the (nonnewtonian) process heap
(Pls use the usual Chinese bulk carrier resilient doi tricks as might be required)
Lagniappe:
https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
* http://bitsnbobstones.watershipdown.org/lapine/unit12.html#:...
If the constant factors aren't intolerable, it seems like one really ought to be able to do something with the fact that corruption (galois connection connexion?) only happens in one direction (corruption monad as closure)...
Lagniappe: https://www.youtube.com/watch?v=_yExwkQYcp0
(thanks for reminding me of "Have not I the most reason to complain, when I see these very Yahoos carried by Houyhnhnms in a vehicle, as if they were brutes, and those the rational creatures?"!)