Categorical Abstract Machines for Higher-Order Typed lambda-Calculi.
Eike RitterPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- lambda calculus
- higher order
- programming language
- natural images
- predicate calculus
- categorical data
- markov random field
- conditional random fields
- learning machines
- high order
- higher level
- low level
- pairwise
- high level
- data sets
- database
- fixed point
- machine intelligence
- numerical data
- artificial intelligence
- lower order
- numerical values
- database query languages