About daniel gratzer

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

Lists

Timeline

{username} has no activity yet