@article{gratzerNutyzBirkedal2021,
 title = {{Multimodal Dependent Type Theory}},
 author = {Daniel Gratzer and G. A. Kavvos and Andreas Nuyts and Lars Birkedal},
 year = {2021},
 doi = {10.46298/lmcs-17(3:11)2021},
 url = {https://lmcs.episciences.org/7713},
 journal = {{Logical Methods in Computer Science}},
 volume = {17},
 keywords = {Computer Science - Logic in Computer Science},
 month = {July},
  number = {3}
}