notesum.ai

Published at December 4

Gradual Guarantee via Step-Indexed Logical Relations in Agda

cs.PL
F.3.2; F.3.1; D.3.1; D.3.2

Released Date: December 4, 2024

Authors: Jeremy G. Siek1

Aff.: 1Indiana University

Arxiv: http://arxiv.org/pdf/2412.03125v1