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