A Presheaf Model of Parametric Type Theory.

Jean-Philippe Bernardy Thierry Coquand Guilhem Moulin

Published in: MFPS (2015)

Keyphrases

formal model
high level
computational model
theoretical framework
artificial intelligence
theoretical foundation
parametric models
network model
conceptual framework
conceptual model
mathematical model
parameter estimation
cost function
prior knowledge
expert systems
decision making
search engine