Abstracting models of strong normalization for classical calculi.

Paul Downen Philip Johnson-Freyd Zena M. Ariola

Published in: J. Log. Algebraic Methods Program. (2020)

Keyphrases

prior knowledge
statistical models
accurate models
information systems
statistical model
probabilistic model
parameter estimation
hidden markov models
experimental data
complex systems
machine learning algorithms
database
high level
case study
artificial intelligence
machine learning
data sets