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.pdfor built withlatexmk -pdf main.tex - The poster is under
poster/and may be built withlatexmk -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 withlatexmk -pdf slides/meeting-of-the-minds.tex