Torben Braüner. A Model of Intuitionistic Affine Logic From Stable Domain Theory. In Serge Abiteboul, Eli Shamir, editors, Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings. Volume 820 of Lecture Notes in Computer Science, pages 340-351, Springer, 1994.
Abstract is missing.