jaykru / thesis Goto Github PK
View Code? Open in Web Editor NEWmy reed college thesis! the thesis develops functorial semantics a la Lawvere, and ultimately demonstrates a proof by Artin gluing of open normalization for the simply typed lambda calculus.