Haoxuan Yin : Publications

Click here to download all publications in a single bibtex file

@inproceedings{yin_et_al:LIPIcs.LICS.2026.83,
  title = "{Contextual MetaML: Syntax and Full Abstraction}",
  author = "Yin, Haoxuan and Murawski, Andrzej S. and Ong, C.-H. Luke",
  year = "2026",
  address = "Dagstuhl, Germany",
  annote = "Keywords: Metaprogramming, operational game semantics, trace model, contextual modal type theory",
  booktitle = "41st Annual Symposium on Logic in Computer Science (LICS 2026)",
  editor = "Faggian, Claudia and Katoen, Joost-Pieter",
  isbn = "978-3-95977-434-5",
  issn = "1868-8969",
  pages = "83:1--83:27",
  publisher = "Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.LICS.2026.83",
  volume = "380",
  doi = "10.4230/LIPIcs.LICS.2026.83",
}

@incollection{vanBenthem2026,
  title = "Hybrid Sabotage Modal Logic in Perspective",
  author = "van Benthem, Johan and Li, Lei and Shi, Chenwei and Yin, Haoxuan",
  year = "2026",
  address = "Cham",
  booktitle = "Graph Games and Logic Design: Recent Developments and Further Directions",
  editor = "van Benthem, Johan and Liu, Fenrong",
  isbn = "978-3-031-91361-7",
  pages = "103--129",
  publisher = "Springer Nature Switzerland",
  url = "https://doi.org/10.1007/978-3-031-91361-7_5",
  doi = "10.1007/978-3-031-91361-7_5",
}

@article{10.1093/logcom/exac006,
  title = "Hybrid sabotage modal logic",
  author = "van Benthem, Johan and Li, Lei and Shi, Chenwei and Yin, Haoxuan",
  year = "2023",
  issn = "0955-792X",
  journal = "Journal of Logic and Computation",
  month = "09",
  number = "6",
  pages = "1216-1242",
  url = "https://doi.org/10.1093/logcom/exac006",
  volume = "33",
  doi = "10.1093/logcom/exac006",
}