About Aref Mohammadzadeh

PhD student at the FP Lab, University of Nottingham. I'm interested in homotopy type theory, higher category theory, and constructive math.

Lists

Timeline

aref_mz has no activity yet