Login / Signup

Type Inference for Session Types in the π-calculus.

Eva Fajstrup GraversenJacob Buchreitz HarboHans HüttelMathias Ormstrup BjerregaardNiels Sonnich PoulsenSebastian A. Wahl
Published in: WS-FM (2015)
Keyphrases
  • multiple types
  • database
  • data sets
  • bayesian inference
  • inference process
  • grammatical inference
  • databases
  • information retrieval
  • computer vision
  • belief networks
  • algebraic structure