@inproceedings{gratzer-2022-a,
  doi = {10.4230/LIPICS.FSCD.2022.23},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.23},
  author = {Gratzer, Daniel and Birkedal, Lars},
  keywords = {Dependent type theory, guarded recursion, modal type theory, canonicity, categorical gluing, Theory of computation → Type theory, Theory of computation → Denotational semantics, Theory of computation → Modal and temporal logics},
  language = {en},
  title = {A Stratified Approach to Löb Induction},
  volume = {228},
  pages = {23:1-23:22},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2022},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)}
}