A Confluent Calculus of (1989)

by T Hardin, J-J L'evy
Venue:Substitutions, FranceJapan Artificial Intelligence and Computer Science Symposium, Izu