research
∙
08/10/2023
Substitution for Non-Wellfounded Syntax with Binders
We describe a generic construction of non-wellfounded syntax involving v...
share
research
∙
07/30/2023
Formalizing Monoidal Categories and Actions for Syntax with Binders
We discuss some aspects of our work on the mechanization of syntax and s...
research
∙
12/06/2022
Univalent Monoidal Categories
Univalent categories constitute a well-behaved and useful notion of cate...
research
∙
09/02/2022