Andrej Bauer
|
Registered User
|
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.
|
Click graph with mouse, or enter Start: End:
