research
∙
07/07/2023
Social learning across symbolic cultural barriers in non-human cultures
Social learning is key in the development of both human and non-human an...
share
research
∙
12/28/2021
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory
Polynomial functors are a categorical generalization of the usual notion...
research
∙
05/12/2020
Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions
We study rewriting systems whose underlying set of terms is equipped wit...
research
∙
02/14/2020
Abstract rewriting internalized
In traditional rewriting theory, one studies a set of terms up to a set ...
research
∙
06/19/2013
