A Realizability Interpretation for Intersection and Union Types.

Daniel J. Dougherty Ugo de'Liguoro Luigi Liquori Claude Stolze

Published in: APLAS (2016)

Keyphrases

information systems
databases
machine learning
image processing
multiscale
object recognition
mobile devices
special case
image interpretation
semantic interpretation