Simulating expansions without expansions (1994)

by Roberto Di Cosmo, Delia Kesner
Venue:Mathematical Structures in Computer Science, 4:1–48, REFERENCES 23