@inproceedings{paper83, title = "Event Domains, Stable Functions and Proof Nets", author = "S. Abramsky", year = "2007", booktitle = "Plotkin Festschrift", pages = "33-67", series = "Electronic Notes in Theoretical Computer Science", volume = "172", }