Dominic Hughes > Selected Papers > LICS'03 MALL paper > Frequently Asked Questions

  1. What's the intution for condition (P3)? Here's a quick ASCII note. A neater version will end up in the journal version.
  2. 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.
  3. Why is (P1) not equivalent to the Abramsky-Mellies reformulation of the technical condition? ASCII explanation here.
  4. 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.