Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELAN.
Horatiu CirsteaClaude KirchnerPublished in: FroCoS (1998)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- database query languages
- formal semantics
- natural images
- algebraic structure
- relational calculus
- pairwise
- markov random field
- high order
- formal language
- logic programming
- process algebra
- combining multiple
- expressive power
- computational properties
- voronoi diagram
- relational algebra
- model checking