Social learning is key in the development of both human and non-human an...
Polynomial functors are a categorical generalization of the usual notion...
We study rewriting systems whose underlying set of terms is equipped wit...
In traditional rewriting theory, one studies a set of terms up to a set ...
In this paper we give a partially mechanized proof of the correctness of...