Re: congratulations!

Richard's thesis present a categorical model theory for first-order
classical sequent calculus based on the classical categories introduced
by Carsten Führmann and myself. The work includes proof nets,
fibred models, soundness and completeness (wrt to cut-elimination), 
relational examples, and some connections with classical model
theory and with the calculus of structures.

David Pym





D Richardson (by way of Alessio Guglielmi) wrote:

> Congratulations to Richard Mckinley who successfully defended his thesis
> this afternoon.   It has been accepted subject to minor corrections being
> made.  A very nice piece of work
> Daniel Richardson