On Confluence for Weakly Normalizing Systems

Sorry, there's nothing here.

Cite this paper

@inproceedings{Curien1991OnCF, title={On Confluence for Weakly Normalizing Systems}, author={Pierre-Louis Curien and Giorgio Ghelli}, booktitle={RTA}, year={1991} }