What is a model for a semantically linear λ-calculus?

Marco Gaboardi Mauro Piccolo

Published in: J. Log. Comput. (2014)

Keyphrases

neural network
high level
cost function
computational model
experimental data
data sets
probabilistic model
mathematical model
nonlinear models
decision making
case study
artificial neural networks
markov random field
statistical model
linear model