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
{"_id":"WnLn5EMBjtvhf8KGP","bibbaseid":"selinger-thelambdacalculusisalgebraic-2002","authorIDs":[],"author_short":["Selinger, P"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Selinger"],"firstnames":["P"],"suffixes":[]}],"title":"The lambda calculus is algebraic","journal":"Journal of Functional Programming","volume":"12","number":"06","pages":"549–566","year":"2002","abstract":"","location":"","keywords":"","bibtex":"@Article{Selinger2002,\nauthor = {Selinger, P}, \ntitle = {The lambda calculus is algebraic}, \njournal = {Journal of Functional Programming}, \nvolume = {12}, \nnumber = {06}, \npages = {549--566}, \nyear = {2002}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Selinger, P"],"key":"Selinger2002","id":"Selinger2002","bibbaseid":"selinger-thelambdacalculusisalgebraic-2002","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.736Z","downloads":0,"keywords":[],"search_terms":["lambda","calculus","algebraic","selinger"],"title":"The lambda calculus is algebraic","year":2002,"dataSources":["hEoKh4ygEAWbAZ5iy"]}