Member for 1 year, 10 months
Last seen more than 1 year ago
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, type theory, homotopy type theory, and semantics of programming languages.
Top network postsView all network posts