Login / Signup

Linear types for higher order processes with first class directed channels.

Georg SchiedKlaus Barthelmann
Published in: Electron. Notes Theor. Comput. Sci. (1995)
Keyphrases
  • higher order
  • low order
  • objective function
  • natural images
  • high order
  • real time
  • markov random field
  • communication channels
  • linear systems
  • sufficient conditions