Applying universal algebra to lambda calculus (0)

by G Manzonetto, A Salibra
Venue:Journal of Logic and Computation