A Lambda Calculus Satellite (Invited Talk).

Giulio Manzonetto

Published in: FSCD (2023)

Keyphrases

invited talk
lambda calculus
programming language
knowledge discovery and data mining
selected papers
predicate calculus
program understanding
complex objects
database query languages
higher order
database
computer science
general purpose
semantic network