Current research topics update

Hi,

I've updated a bit the web page 
<http://alessio.guglielmi.name/res/cos/crt.html>. After months, it's 
still very incomplete. It takes a lot of time to work on these 
things...

Please continue to send me suggestions, pieces and errors to fix.

I guess the recent result by Alwen on intuitionistic logic should 
open up many possibilities. Probably, the closest to deep inference 
is now BI; I'll add this as soon as I can (not now). If I had to cite 
one paper on the structural proof theory of BI, which one should I 
pick?

Ciao,

-Alessio


Added:

- Intermediate logics
- Normalisation as 4-dimensional rewriting

Updated:

- Complexity of propositional proofs

Removed:

- Locality for intuitionistic logic (of course, I've updated with 
this the CoS page and the project overview paper)