Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract).
Davide SangiorgiPublished in: CMCS (2014)
Keyphrases
- extended abstract
- higher order
- natural images
- expressive power
- relational algebra
- high order
- language independent
- pairwise
- connected components
- linguistic resources
- markov random field
- databases
- lower order
- multi lingual
- low order
- multilingual information retrieval
- cross lingual
- search algorithm
- search engine
- genetic algorithm
- language identification