Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages.
Shin-ya KatsumataPublished in: WADT (2002)
Keyphrases
- higher order
- lambda calculus
- expressive power
- high order
- equivalence relation
- pairwise
- database query languages
- markov random field
- natural images
- databases
- language independent
- cross lingual
- database
- conditional random fields
- text summarization
- encryption scheme
- database systems
- neural network
- low order
- language identification
- lower order
- programming language
- database views
- relational databases