Internal Parametricity for Cubical Type Theory.

Evan Cavallo Robert Harper

Published in: CSL (2020)

Keyphrases

theoretical framework
computational model
theoretical foundation
database
artificial intelligence
high level
objective function
search algorithm
digital libraries