Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories.

Ralph Matthes, Kobe Wullaert, Benedikt Ahrens

Browse the full FSCD paper archive.