The lambda calculus is algebraic. Selinger, P Journal of Functional Programming, 12(06):549–566, 2002.
bibtex   
@Article{Selinger2002,
author = {Selinger, P}, 
title = {The lambda calculus is algebraic}, 
journal = {Journal of Functional Programming}, 
volume = {12}, 
number = {06}, 
pages = {549--566}, 
year = {2002}, 
abstract = {}, 
location = {}, 
keywords = {}}
Downloads: 0