Categorical Semantics for Explicit Substitutions

Author

Valeria de Paiva

Published

June 1, 2021