370 reputation
bio website pobox.com/~flash
location Palo Alto
visits member for 3 years, 9 months
seen Dec 12 at 16:29

Static analyzer and compiler tester, rewriting my Oxford doctoral thesis on Church’s Set Theory with a Universal Set, to appear in Logique et Analyse.

This user has not asked any questions

223 Votes Cast

all time   by type  
222 up 25 question
1 down 198 answer