User:Cavilacion/sandbox

Nominal sets in computer science are mathematical structures for handling names and binding in programming semantics.