Joris Ceulemans, Andreas Nuyts, Dominique Devriese. A Sound and Complete Substitution Algorithm for Multimode Type Theory. In Delia Kesner, Eduardo Hermo Reyes, Benno van den Berg, editors, 29th International Conference on Types for Proofs and Programs, TYPES 2023, June 12-16, 2023, ETSInf, Universitat Politècnica de València, Spain. Volume 303 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{CeulemansND23,
title = {A Sound and Complete Substitution Algorithm for Multimode Type Theory},
author = {Joris Ceulemans and Andreas Nuyts and Dominique Devriese},
year = {2023},
doi = {10.4230/LIPIcs.TYPES.2023.4},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2023.4},
researchr = {https://researchr.org/publication/CeulemansND23},
cites = {0},
citedby = {0},
booktitle = {29th International Conference on Types for Proofs and Programs, TYPES 2023, June 12-16, 2023, ETSInf, Universitat Politècnica de València, Spain},
editor = {Delia Kesner and Eduardo Hermo Reyes and Benno van den Berg},
volume = {303},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-332-4},
}