Powersets, Fixed Points, and Lambda Calculus.
Dana S. ScottPublished in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
- lambda calculus
- fixed point
- programming language
- predicate calculus
- sufficient conditions
- approximate value iteration
- dynamical systems
- belief propagation
- database query languages
- temporal difference learning
- program understanding
- asymptotic properties
- linear logic
- database
- general purpose
- object oriented
- bayesian networks