A Simply Numbered Lambda Calculus.

Friedrich Steimann

Published in: Eelco Visser Commemorative Symposium (2023)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
database systems
complex objects
program understanding
data model
artificial intelligence
knowledge base
case study
knowledge sources
fault localization