A first-order completeness result about characteristic Boolean algebras in classical realizability.

Guillaume Geoffroy

Published in: CoRR (2022)

Keyphrases

higher order
real valued
databases
artificial intelligence
neural network
information systems
website
lower bound
pairwise
multi valued