Characteristic bisimulation for higher-order session processes.

Dimitrios Kouzapas Jorge A. Pérez Nobuko Yoshida

Published in: Acta Informatica (2017)

Keyphrases

higher order
high order
lambda calculus
databases
case study
pairwise
markov random field
information retrieval
object recognition
probabilistic model