Symbolic Listings as Computation. - Hamilton Sawczuk; Edinah Gnang (CoRR, 2024)