Roberto Di Cosmo and Delia Kesner. Simulating expansions without expansions. Mathematical Structures in Computer Science, 4:1--48, 1994.

[ bib | Local copy ] This file was generated by bibtex2html 1.99.