A Higher-Order Distributed Calculus with Name Creation.
Adrien PiérardEijiro SumiiPublished in: LICS (2012)
Keyphrases
- higher order
- distributed systems
- cooperative
- high order
- pairwise
- lambda calculus
- markov random field
- natural images
- computer networks
- fault tolerant
- databases
- query language
- database systems
- neural network
- distributed environment
- distributed database systems
- distributed data
- communication overhead
- low order
- lower order