Håkon Robbestad Gylterud

Mathematics has always been a passion of mine, and I have been fascinated with programming since I was eleven and we got a computer at home. I have been lucky enough to study and do research in mathematics and computer science topics full time the last ten years.

Articles and theses

For convenience, here is a list of my articles and theses.

Fun stuff

Current research topics

Algebraic foundations of type theory

Quote operators in λ-calculus and type theory

Combinatorial species and coherence theorems in category theory

Planar graphs in Homotopy Type Theory

Expecting a comment section? Feel free to e-mail me your comments, or otherwise contact me to discuss the content of this site. See my contact info. You can also write your opinion on your own website, and link back here! ☺