The problem of full abstraction for the sequential programming language PCF was, for a long time, a big open question in denotational semantics.
Το πρόβλημα της αφαίρεσης για την ακολουθιακή γλώσσα προγραμματισμού PCF αποτέλεσε για μεγάλο χρονικό διάστημα, ένα μεγάλο ανοιχτό ερώτημα της δηλωτικής σημασιολογίας.