## Torben Braüner

*A Model of Intuitionistic Affine Logic From Stable Domain Theory*

ICALP, 1994.

@inproceedings{ICALP-1994-Brauner, author = "Torben Braüner", booktitle = "{Proceedings of the 21st International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-58201-0_80", isbn = "3-540-58201-0", pages = "340--351", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Model of Intuitionistic Affine Logic From Stable Domain Theory}", volume = 820, year = 1994, }