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

{username} has no activity yet