On the algebraic models of lambda calculus (0)

by A Salibra
Venue:Theoretical Computer Science