§ full abstraction in semantics (TODO)

§ Parallel or and PCF

For example, I thought that the problem will por in PCF was that it wasnt't possible to implement in the language.

§ Relationship between full abstraction and adequacy

§ Theorem relating full abstraction and adequacy

§ Full abstraction between languages