State-dependent representation independence (technical appendix), 2008. Available at: http://ttic.uchicago.edu/~amal/papers/sdri (0)

by Amal Ahmed, Derek Dreyer, Andreas Rossberg