Recursion-free modular arithmetic in the lambda-calculus.

Maximilien Mackie

Published in: Inf. Process. Lett. (2024)

Keyphrases

lambda calculus
complex objects
programming language
predicate calculus
program understanding
database query languages
database
higher order
deductive databases
arithmetic operations
high level
relational databases