On the Elementary Affine Lambda-Calculus with and Without Fixed Points.
Lê Thành Dung NguyênPublished in: DICE-FOPARA@ETAPS (2019)
Keyphrases
- fixed point
- lambda calculus
- programming language
- program understanding
- temporal difference learning
- predicate calculus
- database query languages
- approximate value iteration
- complex objects
- belief propagation
- dynamical systems
- sufficient conditions
- higher order
- image registration
- asymptotic properties
- free energy
- linear logic
- expressive power
- reverse engineering
- description logics
- knowledge representation
- dynamic programming
- relational databases
- high level