Eijiro Sumii, Benjamin C. Pierce. A bisimulation for type abstraction and recursion. Journal of the ACM, 54(5):26, 2007. [doi]
@article{SumiiP07:0, title = {A bisimulation for type abstraction and recursion}, author = {Eijiro Sumii and Benjamin C. Pierce}, year = {2007}, doi = {10.1145/1284320.1284325}, url = {http://doi.acm.org/10.1145/1284320.1284325}, tags = {C++, abstraction}, researchr = {https://researchr.org/publication/SumiiP07%3A0}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {54}, number = {5}, pages = {26}, }