The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus.

Axel Kerinec Lionel Vaux Auclair

Published in: CoRR (2023)

Keyphrases

algebraic structure
computer algebra
knowledge base
neural network
automated deduction
qualitative spatial
data sets
learning algorithm
artificial intelligence
e learning
multi agent
provably correct
database query languages
linear time temporal logic