Introduction to Combinators and λ-calculus. Hindley, J. & Seldin, J. Press Syndicate of the University of Cambridge, Cambridge, UK, 1986. bibtex @book{hindley_introduction_1986,
address = {Cambridge, UK},
title = {Introduction to {Combinators} and λ-calculus},
publisher = {Press Syndicate of the University of Cambridge},
author = {Hindley, J.R. and Seldin, J.P.},
year = {1986}
}
Downloads: 0
{"_id":"piKTBrRx7TYw8Y2PC","bibbaseid":"hindley-seldin-introductiontocombinatorsandcalculus-1986","authorIDs":[],"author_short":["Hindley, J.","Seldin, J."],"bibdata":{"bibtype":"book","type":"book","address":"Cambridge, UK","title":"Introduction to Combinators and λ-calculus","publisher":"Press Syndicate of the University of Cambridge","author":[{"propositions":[],"lastnames":["Hindley"],"firstnames":["J.R."],"suffixes":[]},{"propositions":[],"lastnames":["Seldin"],"firstnames":["J.P."],"suffixes":[]}],"year":"1986","bibtex":"@book{hindley_introduction_1986,\n\taddress = {Cambridge, UK},\n\ttitle = {Introduction to {Combinators} and λ-calculus},\n\tpublisher = {Press Syndicate of the University of Cambridge},\n\tauthor = {Hindley, J.R. and Seldin, J.P.},\n\tyear = {1986}\n}\n\n","author_short":["Hindley, J.","Seldin, J."],"key":"hindley_introduction_1986","id":"hindley_introduction_1986","bibbaseid":"hindley-seldin-introductiontocombinatorsandcalculus-1986","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"book","biburl":"https://bibbase.org/zotero/hutengdai","creationDate":"2020-01-31T01:09:12.120Z","downloads":0,"keywords":[],"search_terms":["introduction","combinators","calculus","hindley","seldin"],"title":"Introduction to Combinators and λ-calculus","year":1986,"dataSources":["SzgNB6yMASNi6tysA"]}