Reinhard Kahle (Universidade Nova de Lisboa, Centria e DM)

Applicative Theories and Computational Complexity

Abstract: We give a short survey on applicative theories and how they can be used to characterize classes of computational complexity.

The presentation includes joint work with Isabel Oitavem (CMAF and DM, FCT-UNL).