home
items
nominal
Nominal
Contents
References
References
Andrew Pitts. An Introduction to Nominal Sets. 2020.
Andrew Pitts. Nominal Sets and Dependent Type Theory. 2014.