Nominal

References

• Andrew Pitts. An Introduction to Nominal Sets. 2020.
• Andrew Pitts. Nominal Sets and Dependent Type Theory. 2014.