Roberto Di Cosmo, Delia Kesner. Simulating Expansions without Expansions. Mathematical Structures in Computer Science, 4(3):315-362, 1994.
@article{CosmoK94:0, title = {Simulating Expansions without Expansions}, author = {Roberto Di Cosmo and Delia Kesner}, year = {1994}, researchr = {https://researchr.org/publication/CosmoK94%3A0}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {4}, number = {3}, pages = {315-362}, }