Sign in
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