The lambda calculus is algebraic

Peter Selinger. The lambda calculus is algebraic. Journal of Functional Programming, 12(6):549-566, 2002. [doi]

Abstract

Abstract is missing.