Internal Parametricity for Cubical Type Theory.

Evan Cavallo Robert Harper

Published in: CoRR (2020)

Keyphrases

information retrieval
artificial intelligence
data sets
databases
neural network
machine learning
web services
theoretical basis