Categorical Semantics for Explicit Substitutions

Author

Valeria de Paiva

Published

June 1, 2021

Website built with Quarto

Topos Institute is a registered non-profit in the state of California (EIN 84-3431367)