Andrej Bauerless info
|visits||member for||4 years, 11 months|
|seen||Sep 4 at 11:23|
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, 11 months|
|location||Ljubljana||seen||Sep 4 at 11:23|
0 Votes Cast
This user has not cast any votes