360 reputation
25
bio website pobox.com/~flash
location Palo Alto
age
visits member for 3 years, 1 month
seen 56 mins ago

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

214 Votes Cast

all time   by type  
213 up 24 question
1 down 190 answer