About daniel gratzer

assistant professor at Aarhus University interested in (higher) category theory and (modal) type theory. he/him 🏳️‍🌈

Lists

Timeline

danielgratzer has no activity yet