Substitution for Non-Wellfounded Syntax with Binders

Published in Proceedings of Formal Structures for Computation and Deduction (FSCD) 2024, 2024

For the extended version, see arxiv.