@inproceedings{modalsubordinationintypetheoreticdynamic,
  title = {Modal Subordination in Type Theoretic Dynamic Logic},
  author = {Sai Qian and Philippe de Groote and Maxime Amblard},
  year = {2016},
  booktitle = {LILT 2016 9},
  url = {https://aclanthology.org/2016.lilt-14.2},
}