jozefg / undergraduate-thesis Goto Github PK

My undergraduate thesis: "The Next 700 Failed Step-Index-Free Logical Relations". It describes a variety of ways one should not attempt to build a logical relation without step-indexing for general references.

• The thesis itself may be found in main.pdf or built with latexmk -pdf main.tex
• The poster is under poster/ and may be built with latexmk -pdf poster/meeting-of-the-minds.tex
• The slides for a 20 minute talk given on the subject are under slides/ and may be built with latexmk -pdf slides/meeting-of-the-minds.tex