The Scott model of PCF in univalent type theory.
Tom de JongPublished in: Math. Struct. Comput. Sci. (2021)
Keyphrases
- computational model
- theoretical framework
- formal model
- mathematical model
- statistical model
- management system
- neural network
- high level
- objective function
- linear model
- probabilistic model
- least squares
- theoretical foundation
- empirical data
- autoregressive
- prediction model
- experimental data
- expert systems
- case study
- decision making