24 Jul
2008
24 Jul
'08
1:22 a.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...!