Substitution for Non-Wellfounded Syntax with Binders
Published in Proceedings of Formal Structures for Computation and Deduction (FSCD) 2024, 2024
J.w.w., R. Matthes, and B. Ahrens. For the extended version, see arxiv.
Published in Proceedings of Formal Structures for Computation and Deduction (FSCD) 2024, 2024
J.w.w., R. Matthes, and B. Ahrens. For the extended version, see arxiv.