Sign in

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

Bernardo ToninhoLuís CairesFrank 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