CARREGANDO O RADAR…
Replication Descent and $J$-Finality of Replicable Functions | Radar arXiv · portela.dev