TY  - RPRT
TI  - Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence
AU  - Vasileios Koutavas
AU  - Yu-Yang Lin
AU  - Nikos Tzevelekos
PY  - 2023
UR  - https://arxiv.org/abs/2311.01325
ID  - 2311.01325
ER  -