-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Actually, he came up with some Lisp ideas independently of Lambda calculus, search on IPL and FLPL. He said, somewhere, that Church book was so boring, he never finished it. But he was influenced by some ideas and did suggest using lambdas in '58 as in Church calculus, and he mentions it in the paper from 1960. Whether Lisp or at least Scheme happens to be a realization of lambda calculus, or just heavily influenced, I am not so informed to answer, but there is some interesting discussion here or here, or if you are interested to read more, there is a free book on the early history of Lisp.