State-Dependent Representation Independence ( Technical Appendix )

@inproceedings{Rossberg2008StateDependentRI,
  title={State-Dependent Representation Independence ( Technical Appendix )},
  author={Amal Ahmed Derek Dreyer Andreas Rossberg},
  year={2008}
}
  • Amal Ahmed Derek Dreyer Andreas Rossberg
  • Published 2008
3 Logical Relation Proofs 15 3.1 Basic Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.1.1 Properties of Step-Indexed Construction . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.1.2 Approximation Yields Valid Semantic Objects . . . . . . . . . . . . . . . . . . . . . . 17 3.1.3 World Extension and Store Satisfaction Properties . . . . . . . . . . . . . . . . . . . . 18 3.1.4 Validity of Type Interpretations… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper