On the algebraic models of lambda calculus (0)

by A Salibra
Venue:Theo. Comp. Sci