LFCS Theory Seminar
Room 2509, JCMB, King's Buildings
3pm, Tuesday 10th February 1998

(* NOTE NONSTANDARD ROOM AND NONSTANDARD TIME *)

Title: A Computational Interpretation of the $\lambda\mu$-calculus

Speaker: G.M. Bierman (University of Cambridge)

Recently Parigot introduced the $\lambda\mu$-calculus, which is a simple extension of the $\lambda$-calculus. The set of types of all closed $\lambda\mu$-terms enumerates all classical tautologies. In this talk I shall present a simple computational interpretation of this calculus. I shall demonstrate the richness of this interpretation by considering translations of various control operators. I shall show how one can present this interpretation as a simple transition system which leads to both a neat implementation and a simple but powerful operational theory.