External and internal syntax of the λ-calculus (0)

by M Sato, R Pollack
Venue:Journal of Symbolic Computation