Event Domains‚ Stable Functions and Proof Nets
S. Abramsky
Book Title
Plotkin Festschrift
Pages
33−67
Series
Electronic Notes in Theoretical Computer Science
Volume
172
Year
2007
S. Abramsky