nominal set


A nominal set is an object of the Schanuel topos.


Related nnLab entries include Schanuel topos,

A survey:

  • Murdoch J. Gabbay, Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Bulletin of Symbolic Logic 17:2, June 2011, 161-229

  • Wikipedia, Nominal techniques

In computer science, nominal sets were introduced in

  • Murdoch James Gabbay, A theory of inductive definitions with alpha-equivalence, PhD thesis, Cambridge 2001, pdf

See also

  • A. M. Pitts, Nominal sets, Cambridge University Press 2013

  • Daniela Petrisan, Algebra and topology over nominal sets, PhD thesis, Leicester 2010, pdf

  • M. J. Gabbay, A. M. Pitts, A NEW approach to abstract syntax with variable binding, Formal Aspects of Computing 13 (2002) pp.341-363. (draft)

Last revised on April 3, 2019 at 06:08:03. See the history of this page for a list of all contributions to it.