Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminars Seminar Archives 1996

1996

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

 

There are currently no items in this folder.

Document Actions