Delia Kesner, Pierre-Marie Pédrot, editors, 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France. Volume 269 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
Conference: TYPES2023
@proceedings{types-2022, title = {28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France}, year = {2023}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-285-3}, researchr = {https://researchr.org/publication/types-2022}, cites = {0}, citedby = {0}, booktitle = {28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France}, conference = {TYPES}, editor = {Delia Kesner and Pierre-Marie Pédrot}, volume = {269}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, isbn = {978-3-95977-285-3}, }