Nominal techniques, 2006-2011
Abstract: I will give a broad survey of the development of nominal
terms in logic since 2006 when I last visited your department. This
is algebra and first-order logic extended with names and binding.
Think of it as a first-order theory of functions. A technical
highlight will be finite first-order axiomatisations of arithmetic and
the lambda-calculus. This talk will concentrate on the overall vision
and will not be technical. Readers interesting in further details can
visit my
publications.