Backpropagation in the simply typed lambda-calculus with linear negation.
Aloïs BrunelDamiano MazzaMichele PaganiPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- lambda calculus
- back propagation
- neural network
- artificial neural networks
- programming language
- feed forward
- neural nets
- bp algorithm
- predicate calculus
- learning algorithm
- training algorithm
- hidden layer
- bp neural network
- feed forward neural networks
- backpropagation neural networks
- database query languages
- backpropagation neural network
- multilayer perceptron neural network
- multilayer perceptron
- fuzzy logic
- feedforward neural networks
- complex objects
- neural network ensemble
- logic programming
- backpropagation algorithm
- logic programs
- higher order
- predicate logic
- genetic algorithm
- artificial intelligence
- program understanding
- activation function
- first order logic
- object oriented
- expressive power
- neural network model
- machine learning
- real time