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