|visits||member for||5 years, 1 month|
|seen||Oct 10 at 11:59|
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.
|bio||website||andrej.com||visits||member for||5 years, 1 month|
|location||Ljubljana||seen||Oct 10 at 11:59|
0 Votes Cast
This user has not cast any votes