A quantitative model for simply typed λ-calculus.
Martin HofmannJérémy LedentPublished in: Math. Struct. Comput. Sci. (2022)
Keyphrases
- high level
- computational model
- probabilistic model
- real time
- theoretical framework
- input data
- formal model
- experimental data
- statistical model
- mathematical model
- parameter estimation
- least squares
- objective function
- data sets
- theoretical analysis
- artificial intelligence
- information retrieval
- neural network model
- simulation model
- database