Algebraic Type Theory

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! ☺