← back to paper
arxiv: 2606.22908 · 2 revisions
Cyclic Graphs and Memoization in Pure $\lambda$-Calculus