A typed lambda-calculus with first-class configurations.

Tatsuya Abe Daisuke Kimura

Published in: J. Log. Comput. (2023)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
database query languages
complex objects
database
databases
artificial intelligence
first order logic
program understanding