Reversibility in the higher-order π-calculus.
Ivan LaneseClaudio Antares MezzinaJean-Bernard StefaniPublished in: Theor. Comput. Sci. (2016)
Keyphrases
- higher order
- high order
- lambda calculus
- natural images
- markov models
- pairwise
- markov chain
- markov random field
- low order
- lower order
- markov processes
- neural network
- computer algebra
- database query languages
- conditional random fields
- denoising
- formal language
- relational calculus
- automated deduction
- algebraic structure
- anti unification