The Undecidability of Typability in the Lambda-Pi-Calculus.

Published in: CoRR (2023)

Keyphrases

description logics
lambda calculus
number restrictions
fixed point
answering queries
probabilistic planning
neural network
provably correct
databases
database systems
relational databases
special case
first order logic
automated deduction
algebraic structure
sequent calculus