6 ms·
When you say equal for 1, do you mean equal under a simple "their representations match" sense, or under something more abstract?
by imh 10y ago
When you say equal for 1, do you mean equal under a simple "their representations match" sense, or under something more abstract?
- mafribe 10y agoI mean equal w.r.t. a chosen notion of equality. So for any pair (==s, ==t) of notions of equality, there is a different notion of full abstraction. Here ==s relates programs of the source language and ==t relate programs of the target language.
- imh 10y agoCool! Thanks for the clarification!