Personal tools
You are here: Home Events Abstract Archives 1996

1996

Page Default Unification
Alex Lascarides (Centre for Cognitive Science, Edinburgh) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 22nd October 1996
Page Normalization and the Yoneda Embedding
Djordje Cubric (DPMMS, Cambridge) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 29th October 1996
Page On Determinacy and Nondeterminacy in Concurrent Programming
Uwe Nestmann (University of Erlangen, Germany) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 26th November 1996
Page A Calculus for Cryptographic Protocols: The Spi Calculus
A.D. Gordon (University of Cambridge) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 10th December 1996
Document Actions