Theory Seminar, R.Loader, 97 02 14
Theory Seminar
Finite Models of Typed Lambda Calculi - Decidability and Computability
Ralph Loader, Oxford
Friday 14 Feb 1997, 2pm.
I will discuss the recent progress and open problems about (un)decidability
in finite models of typed lambda calculi, and the application of these to
problems such as higher order matching. Rather than going into technical
details, I'll try and show how different questions relate to each other,
and why some of them are interesting.