processing...
home
items
nominal
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Nominal
References
Andrew Pitts. An Introduction to Nominal Sets. 2020.
Andrew Pitts. Nominal Sets and Dependent Type Theory. 2014.