Frédéric Blanqui: Type safety of rewriting rules in dependent types (FSCD A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-12

Aired: 2020-02-03 14:30:00 CEST (UTC+2)