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.