A fully abstract model for sequential computation
Michael Marz · Electronic Notes in Theoretical Computer Science · 2000
In 1977, G. Plotkin pointed out the problem of finding a fully abstract model for the sequential programming language PCF [16], which had been originally developed by D. Scott [19]. This question turned out to be one of the most enduring problems of semantics. A very nice description of the different approaches