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