Higher-Order Processes, Functions, and Sessions: A Monadic Integration.

Bernardo Toninho Luís Caires Frank Pfenning

Published in: ESOP (2013)

Keyphrases

higher order
high order
pairwise
natural images
deductive databases
data sets
data integration
business process management
website
multiscale
probabilistic model
object oriented
markov random field
process model