IWC 2020: On the use of confluence in type theory modulo rewriting (Frédéric Blanqui)
Channel: IJCAR-FSCD 2020
Date: 2020-07-05

Talk 2