Publications conferences and workshops Talks Students Teaching RL Lab Links curricullum

Home > Publications

  • selected publications
  • Informal notes on category theory.
  • A short proof that parallel convergence tester cannot implement parallel or.
  • A short paper showing that amb has no fixed point semantics.
  • A short paper showing that amb cannot be monotone in the Smyth or Plotkin sense. Mainly due to Paul B. Levy and Soren Lassen.