Substitution for Non-Wellfounded Syntax with Binders (preprint)

Published: August 10, 2023