Title: The Fraenkel-Mostowski (FM) model of abstraction applied to
 name-generation

 Abstract:
  My thesis introduced a new model of abstraction based on FM sets (my
thesis also introduced FM sets).  This has since been applied in
various ways of which I will describe the application to model
pi-calculus name-restriction and name-generation by a common
mechanism, this new model of abstraction.

  I will discuss why doing things in this way might be a good idea,
and make some case for the assertion that this is "the right way" to
look at restriction and name-generation.