A Fresh Look at the lambda-Calculus (Invited Talk).

Beniamino Accattoli

Published in: FSCD (2019)

Keyphrases

invited talk
lambda calculus
programming language
knowledge discovery and data mining
selected papers
predicate calculus
database query languages
higher order
complex objects
program understanding
pairwise
theorem proving
database
knowledge discovery
data structure
high level
databases