Introducing a Calculus for Higher-Order Multiset Programming.
David CohenJuarez Muylaert FilhoPublished in: COORDINATION (1996)
Keyphrases
- higher order
- lambda calculus
- programming language
- high order
- markov random field
- pairwise
- low order
- natural images
- development environment
- lower order
- markov models
- object oriented programming
- computer programming
- formal language
- program understanding
- automated deduction
- algebraic structure
- programming environments
- anti unification