We describe a generic construction of non-wellfounded syntax involving
v...
We discuss some aspects of our work on the mechanization of syntax and
s...
Univalent categories constitute a well-behaved and useful notion of cate...
In these lecture notes, we give a brief introduction to some elements of...