Furio Honsell, Marina Lenisa, Ivan Scagnetto. Λ-Symsym: An Interactive Tool for Playing with Involutions and Types. In Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch, editors, 26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy. Volume 188 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
@inproceedings{HonsellLS20,
title = {Λ-Symsym: An Interactive Tool for Playing with Involutions and Types},
author = {Furio Honsell and Marina Lenisa and Ivan Scagnetto},
year = {2020},
doi = {10.4230/LIPIcs.TYPES.2020.7},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2020.7},
researchr = {https://researchr.org/publication/HonsellLS20},
cites = {0},
citedby = {0},
booktitle = {26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy},
editor = {Ugo de'Liguoro and Stefano Berardi and Thorsten Altenkirch},
volume = {188},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-182-5},
}