From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory.

Published in: FoSSaCS (2) (2024)

Keyphrases