[Club2] Nominal2

[Christian Urban]

Dear All,

Next Friday (28th) at 11 o'clock, I will give a talk 
about Cezary and my current work on Nominal2. This will 
be in place of the weekly meeting. 

Best wishes,
Christian


Abstract:

Cezary and I have been busy extending the existing
Nominal package. The main improvement is that we can
now deal with general binding structures. In the talk 
I will first say something about how we changed
the implementation of the underlying nominal theory
and then how we used the quotient package for 
representing terms involving general binders.