Higher-order psi-calculi.

Joachim Parrow Johannes Borgström Palle Raabjerg Johannes Åman Pohjola

Published in: Math. Struct. Comput. Sci. (2014)

Keyphrases

higher order
high order
natural images
topic maps
pairwise
markov random field
markov models
lower order
sequent calculi
information retrieval
genetic algorithm
bayesian networks
digital libraries
low order