# Paper notes

## Main paper

- a destination is always linear and of finite age
- Evaluation context is
    - a stack that keeps track of the term in focus
    - typed with rules, similar to the term typings
    - A nice thing to express small step semantics (I can see how the proof gets easy with progress being a given here)

- Small step semantics need some special renaming semantics for holes (maybe worth looking into)
# Notes of the kickoff meeting



# Kickoff meeting

- His slides have different percentages (wrong info on grading)
- Understand not only the material but read some **foundational** references

## Tools
- dblp.org
- Citeseer
- Google scholar
- scienceos.ai

- Payton Jones How to write a great research paper
- Mal Plagiatsding lesen auf Wikipedia
