- What's the intution for condition (P3)?
Here's a quick ASCII note. A neater
version will end up in the journal version.
- Why is (P1) equivalent to Girard's technical condition?
Here's the proof, in ASCII.
A neat version will find its way into the journal version.
- Why is (P1) not equivalent to the Abramsky-Mellies reformulation of the
technical condition? ASCII explanation here.
- Can I have a copy of the slides you used for your LICS talk?.
Here, 14 slides. The .jpg
files are quite large, slow to download.