Login / Signup
A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda.
Martin Hyland
Misao Nagayama
John Power
Giuseppe Rosolini
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
artificial intelligence
probabilistic model
complex systems
statistical model
neural network
statistical models
data sets
computer vision
bayesian networks
pairwise
parameter estimation
fixed point
mathematical models
modeling framework