Fixed point theorems for precomplete numberings.
Henk BarendregtSebastiaan A. TerwijnPublished in: CoRR (2018)
Keyphrases
- fixed point
- fixed point theorem
- sufficient conditions
- floating point
- dynamical systems
- bargaining solution
- boundary value problem
- constraint databases
- policy iteration
- database
- belief propagation
- variational inequalities
- boundary conditions
- linear logic
- image processing
- machine learning
- dynamic programming
- high resolution
- preprocessing