Environmental bisimulations for higher-order languages.
Davide SangiorgiNaoki KobayashiEijiro SumiiPublished in: ACM Trans. Program. Lang. Syst. (2011)
Keyphrases
- higher order
- high order
- expressive power
- lambda calculus
- natural images
- language independent
- markov random field
- low order
- conditional random fields
- target language
- environmental protection
- neural network
- database query languages
- drinking water
- data sets
- description languages
- multi lingual
- pattern languages
- markov models
- text summarization
- object oriented
- multi agent