Gérard Berry, Jean-Jacques Lévy. A Survey of Some Syntactic Results in the lambda-Calculus. In Jirí Becvár, editor, Mathematical Foundations of Computer Science 1979, Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979. Volume 74 of Lecture Notes in Computer Science, pages 552-566, Springer, 1979.
Abstract is missing.