Miguel Calçado

e-mail: a109361 (at) alunos.uminho.pt; mhcal (at) tutanota.com

github: mhcal

I am a computer science undergraduate at the University of Minho, in Braga, Portugal. I'm generally interested in programming languages, logic, type theory, and category theory.