A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on.

Published in: CoRR (2022)

Keyphrases