A parametrised functional interpretation of Heyting arithmetic.

Bruno Dinis Paulo Oliva

Published in: Ann. Pure Appl. Log. (2021)

Keyphrases

real time
social networks
high level
image interpretation
semantic interpretation
databases
learning algorithm
set theory
functional analysis