Håkon Robbestad Gylterud
In this project I am working to give an algebraic description of type theories. In essense, the question we are asking is what a type theory is, or what it could be in a generalised sense.
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! ☺