my 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.
my 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.