Strictification of Weakly Stable Type-Theoretic Structures Using Generic Contexts.

Rafaël Bocquet

Published in: TYPES (2021)

Keyphrases

domain specific
social networks
wide range

neural network
image processing

multimedia
multi agent

np hard
application specific