A Confluent Calculus of Substitutions (1989)

by T Hardin, J-J Lévy
Venue:France-Japan Artificial Intelligence and Computer Science Symposium