Karl Crary, Robert Harper. Syntactic Logical Relations for Polymorphic and Recursive Types. Electronic Notes in Theoretical Computer Science, 172:259-299, 2007. [doi]
@article{CraryH07, title = {Syntactic Logical Relations for Polymorphic and Recursive Types}, author = {Karl Crary and Robert Harper}, year = {2007}, doi = {10.1016/j.entcs.2007.02.010}, url = {http://dx.doi.org/10.1016/j.entcs.2007.02.010}, researchr = {https://researchr.org/publication/CraryH07}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {172}, pages = {259-299}, }