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