Sign in

Internal Parametricity for Cubical Type Theory.

Evan CavalloRobert Harper
Published in: CSL (2020)
Keyphrases
  • theoretical framework
  • computational model
  • theoretical foundation
  • database
  • artificial intelligence
  • high level
  • objective function
  • search algorithm
  • digital libraries