40 citations · 142 across the 19 of their papers we have counts for
1 paper · 2 filters
Damien Pous
We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the unde…