3 Einträge gefunden

1. Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies

   1. Bowler, Nathan James
   2. Levy, P.B.
   3. Plotkin, G.

   2018 - Forschungsinformationssystem der UHH
2. Exploring the boundaries of monad tensorability on set

   1. Bowler, Nathan James
   2. Goncharov, S.
   3. Levy, P.B.
   4. Schröder, L.

   2013 - Forschungsinformationssystem der UHH
3. Coproducts of monads on set

   1. Ad'mek, J.
   2. Milius, S.
   3. Bowler, Nathan James
   4. Levy, P.B.

   2012 - Forschungsinformationssystem der UHH