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.