TY  - RPRT
TI  - Approximate Normalization and Eager Equality Checking for Gradual Inductive Families
AU  - Joseph Eremondi
AU  - Ronald Garcia
AU  - Éric Tanter
PY  - 2021
UR  - https://arxiv.org/abs/2107.04859
ID  - 2107.04859
ER  -