Notions of parametricity as monoidal models for type theory.

Hugo Moeneclaey

Published in: CoRR (2022)

Keyphrases

mathematical models
case study
prior knowledge
real time
theoretical framework
statistical models
probabilistic model
experimental data
computational model
equational theories
accurate models
empirical data
classification models
database systems
computer vision
search engine
genetic algorithm
neural network