Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction.

Benedetto Intrigila Giulio Manzonetto Nicolas Munnich

Published in: CoRR (2023)

Keyphrases

high level
propositional logic
fixed point
machine intelligence
database
real world
knowledge base
bayesian networks
search algorithm