The Theory of Selection Functions

Paulo Oliva

(Queen Mary)

Very Short Abstract: We call a "quantifier" any operator of type (X -> R) -> R, and a "selection function" any operator of type (X -> R) -> X. In this talk I will give some basic definitions and results concerning quantifiers and selection functions, and explain why these are interesting objects to study.

Tuesday 23rd November 2010, 14:00
Robert Recorde Room
Department of Computer Science