Parametricity and Semi-Cubical Types.

Hugo Moeneclaey

Published in: LICS (2021)

Keyphrases

topology preserving
databases
real world
knowledge base
training data
multi agent
learning environment
digital images
multiple types