@inproceedings{iimura-etal-2025-modal,
    title = "Modal Subordination in Dependent Type Semantics",
    author = "Iimura, Aoi  and
      Mizuno, Teruyuki  and
      Bekki, Daisuke",
    editor = "Bernard, Timoth{\'e}e  and
      Mickus, Timothee",
    booktitle = "Proceedings of the Second Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-2)",
    month = sep,
    year = "2025",
    address = {D{\"u}sseldorf, Germany},
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/iwcs-25-ingestion/2025.brigap-1.3/",
    pages = "15--19",
    ISBN = "979-8-89176-317-3"
}