Extensions to type systems can preserve operational equivalences (0)

by RS94 J G Riecke, R Subrahmanyam