Categorical Models for Intuitionistic and Linear Type Theory.

Maria Emilia Maietti Valeria de Paiva Eike Ritter

Published in: FoSSaCS (2000)

Keyphrases

theoretical framework
closed form
mathematical models
nonlinear models
decision making
probabilistic model
model selection
linear models
mathematical framework
nonlinear regression
learning algorithm
artificial neural networks
statistical models
autoregressive
theoretical models