@article{Birkedal_2019,
    doi = {10.1017/s0960129519000197},
    url = {https://doi.org/10.1017%2Fs0960129519000197},
    year = {2019},
    month = {dec},
    publisher = {Cambridge University Press ({CUP})},
    volume = {30},
    number = {2},
    pages = {118--138},
    author = {Lars Birkedal and Ranald Clouston and Bassel Mannaa and Rasmus Ejlers M{\o}gelberg and Andrew M. Pitts and Bas Spitters},
    title = {Modal dependent type theory and dependent right adjoints},
    journal = {Mathematical Structures in Computer Science}
}

@article{Birkedal_2019, doi = {10.1017/s0960129519000197}, url = {https://doi.org/10.1017%2Fs0960129519000197}, year = {2019}, month = {dec}, publisher = {Cambridge University Press ({CUP})}, volume = {30}, number = {2}, pages = {118--138}, author = {Lars Birkedal and Ranald Clouston and Bassel Mannaa and Rasmus Ejlers M{\o}gelberg and Andrew M. Pitts and Bas Spitters}, title = {Modal dependent type theory and dependent right adjoints}, journal = {Mathematical Structures in Computer Science} }