Full abstraction for expressiveness: history, myths and facts

Daniele Gorla, Uwe Nestmann. Full abstraction for expressiveness: history, myths and facts. Mathematical Structures in Computer Science, 26(4):639-654, 2016. [doi]

Abstract

Abstract is missing.