PhD thesis?

Congratulations to Richard Mckinley from my side too. It
would be nice to see/have an electronic file of the thesis
(or its abstract at least); my search on the net didn't
give me any satisfactory result.


---

Date: Sat, 18 Mar 2006 10:05:07 +0000 
From: "D Richardson" <D.Richardson-+E0FUbDlCk21Qrn1Bg8BZw@xxxxxxxxxxxxxxxx> 
Subject: [Frogs] congratulations! 
To: "Frogs" <Frogs-oCDm4u4wUTdmSpRlfIrTPQ@xxxxxxxxxxxxxxxx> 

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

---

>From   "David J. Pym" <d.j.pym-+E0FUbDlCk21Qrn1Bg8BZw@xxxxxxxxxxxxxxxx>  
Sent  Saturday, March 18, 2006 1:37 pm 
To  Frogs <Frogs-oCDm4u4wUTdmSpRlfIrTPQ@xxxxxxxxxxxxxxxx>  
Subject  Re: [Frogs] 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