Andrej Bauerless info
|visits||member for||4 years, 1 month|
|seen||Jun 27 at 8:51|
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||4 years, 1 month|
|location||Ljubljana||seen||Jun 27 at 8:51|
0 Votes Cast
This user has not cast any votes