A Model of Intuitionistic Affine Logic From Stable Domain Theory.

Torben Braner

Browse the full ICALP paper archive.