773 reputation
520
bio website hagi.is.s.u-tokyo.ac.jp/~yh
location Tokyo, Japan
age 28
visits member for 3 years, 8 months
seen Apr 6 '13 at 12:35

Studying application of intuitionistic modal logic to computation.


76 Votes Cast

all time   by type  
71 up 40 question
5 down 36 answer