[an error occurred while processing this directive] An error occured whilst processing this directive

Theory Seminar Archive 1996

2007-8 · 2006-7 · 2005 · 2004 · 2003 · 2002 · 2001 · 2000 · 1999 · 1998 · 1997 · 1996

Date Speaker Title
October Alex Lascarides Default Unification
Djordje Cubric Normalization and the Yoneda Embedding
November Uwe Nestmann On Determinacy and Nondeterminacy in Concurrent Programming
December A.D. Gordon A Calculus for Cryptographic Protocols: The Spi Calculus
Ian Stark
Tuesday 11 May 1999
An error occured whilst processing this directive