111
Voted
ENTCS
2010
15 years 2 months ago
2010
The theory of nominal sets is a theory for names, freshness and binders. It has recently been suggested as a framework for modelling local store because it allows for a more eleme...