An extended type system with lambda-typed lambda-expressions.
Matthias WeberPublished in: Log. Methods Comput. Sci. (2020)
Keyphrases
- lambda calculus
- database query languages
- fixed point
- programming language
- higher order
- type checking
- databases
- fixed order
- data model
- artificial neural networks
- special case
- probability distribution
- object oriented
- facial expressions
- expert systems
- preprocessing
- expressive power
- multi agent systems
- natural language
- search algorithm
- computer vision
- data sets