Simulating expansions without expansions (1994)

by R Di Cosmo, D Kesner
Venue:Mathematical Structures in Computer Science