myo
29 lines
776 B
Markdown
29 lines
776 B
Markdown
# 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
|