Login / Signup
Type Safety of Rewrite Rules in Dependent Types.
Frédéric Blanqui
Published in:
FSCD (2020)
Keyphrases
</>
rewrite rules
transformation rules
rewriting rules
equivalence classes