@inproceedings{underspecificationandinterpretive,
  title = {Underspecification and interpretive parallelism in Dependent Type Semantics},
  author = {Yusuke Kubota and Koji Mineshima and Robert Levine and Daisuke Bekki},
  year = {2019},
  booktitle = {WS 2019 6},
  url = {https://aclanthology.org/W19-1001},
}