Propositions with Typed Lambda Calculus λ.

Published in: SN Comput. Sci. (2022)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
higher order
database query languages
complex objects
general purpose
databases
knowledge representation
database
knowledge base
expert systems