23 Jul
2008
23 Jul
'08
7:52 p.m.
Janis Voigtlaender wrote:
How about some QuickChecking in connection with the "Chasing bottoms" library (http://citeseer.ist.psu.edu/704350.html)?
Ah, finally a reference to what this curios phrase is actually about...!