The Scott model of PCF in univalent type theory.

Published in: CoRR (2019)

Keyphrases

markov chain
computational model
objective function
theoretical framework
data sets
feature selection
probabilistic model
conceptual model
theoretical foundation
conceptual framework
mathematical framework
theoretical analysis
parameter estimation