Giorgio Marabelli, Alberto Momigliano. Formalizing Program Equivalences in Dependent Type Theory. In Alessandra Cherubini, Nicoletta Sabadini, Simone Tini, editors, Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. Volume 2504 of CEUR Workshop Proceedings, pages 204-209, CEUR-WS.org, 2019. [doi]
@inproceedings{MarabelliM19,
title = {Formalizing Program Equivalences in Dependent Type Theory},
author = {Giorgio Marabelli and Alberto Momigliano},
year = {2019},
url = {http://ceur-ws.org/Vol-2504/paper23.pdf},
researchr = {https://researchr.org/publication/MarabelliM19},
cites = {0},
citedby = {0},
pages = {204-209},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019},
editor = {Alessandra Cherubini and Nicoletta Sabadini and Simone Tini},
volume = {2504},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}