GitHub - jaykru/thesis: 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.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 160 Commits
APA		APA
bsts		bsts
explorations/nbe		explorations/nbe
meetings		meetings
notes		notes
.gitignore		.gitignore
autodelims.tex		autodelims.tex
bsymbol.tex		bsymbol.tex
chemarr.sty		chemarr.sty
fiore-rencat.png		fiore-rencat.png
macros.tex		macros.tex
mosfet.png		mosfet.png
plan.org		plan.org
quiver.sty		quiver.sty
reallywidetilde.tex		reallywidetilde.tex
reedthesis.cls		reedthesis.cls
thesis-blx.bib		thesis-blx.bib
thesis.bib		thesis.bib
thesis.pdf		thesis.pdf
thesis.tex		thesis.tex

About

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.