@Incollection{EPTCS413.3, author = {Siek, Jeremy G.}, year = {2024}, title = {Gradual Guarantee via Step-Indexed Logical Relations in Agda}, editor = {Bieniusa, Annette and Degen, Markus and Wehr, Stefan}, booktitle = {A Second Soul: Celebrating the Many Languages of Programming - Festschrift in Honor of Peter Thiemann's Sixtieth Birthday, {\rm Freiburg, Germany, 30th August 2024}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {413}, publisher = {Open Publishing Association}, pages = {27-42}, doi = {10.4204/EPTCS.413.3}, }