A Predicative variant of Hyland's Effective Topos.

Maria Emilia Maietti Samuele Maschio

Published in: J. Symb. Log. (2021)

Keyphrases

cost effective
multimedia
image sequences
pattern recognition
real time
databases
genetic algorithm
website
cooperative
computer science