Contributed
Rewrite normalization in tree rewriting calculi for strictly positive logics
Sofía Santiago-Fernández1
, David Fernández-Duque2
, Joost Joosten3
1
,2
,3University of Barcelona