A confluent calculus of substitutions. Rapport de Recherche 90-11 (1990)

by T Hardin, J-J L'evy
Venue:CEDRIC, 292, rue Saint-Martin, 75141 Paris CEDEX 03