A confluent calculus of substitutions (1989)

by J -J Levy
Venue:Lecture notes of the INRIA-ICOT symposium, IZll