Linkek

• pdf
• https://www.authorea.com/users/66993/articles/80928/_show_article

TBD

• https://www.overleaf.com/3420810nbspbs
• https://www.sharelatex.com/project/5617456dffd98c0e6e3294ab

TODO

Szept 18

• csinalni repos
• megkeresni Brady-Hammond cikket
• osszeszedni a relatedet
• Subject reduction:
  • beagyazni AGDAba + beta reduction
  • be lehet agyazni, tehat automatikus ?

Okt 2

• Zalan cikket osszeszedni
• Csornyei cikk
• CSE12 missing
• MACS: highlight selected papers

Okt 9

• megosztani a latexet
• ket scopus ID
• mtmt import