Denotational semantics - what and why?

Uli Berger


In this talk I will explain what denotational semantics is and why it is useful for understanding programs. After a general introduction into the main ideas and results I will report on my current work in this area, focusing on domain-theoretic normalisation proofs forapplied lambda-calculi.

Most of the talk will be accessible for a general audience.
Tuesday 14th March 2006, 14:00
Robert Recorde Room
Department of Computer Science