TY  - RPRT
TI  - Gradual Guarantee via Step-Indexed Logical Relations in Agda
AU  - Jeremy G. Siek
PY  - 2024
DO  - 10.4204/eptcs.413.3
UR  - https://arxiv.org/abs/2412.03125
ID  - 2412.03125
ER  -