The Lambda Calculus: Practice and Principle.

Hugh Leather Janne Irgens

Published in: A List of Successes That Can Change the World (2016)

Keyphrases

lambda calculus
programming language
database query languages
general purpose
complex objects
database
databases
artificial intelligence
high level
data structure
pairwise
higher order
open source
data management