|
Adámek, Jirí ; Bowler, Nathan ; Levy, Paul B. ; Milius, Stefan: Coproducts of Monads on Set. In: Dershowitz, Nachum (Ed.) : Proc. 27th Annual Symposium on Logic in Computer Science (LICS’12) (LICS 2012, Dubrovnik, 25.-28.06.2012). Dubrovnik : IEEE Computer Society, 2012, pp 45-54. (Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on) - ISBN 978-1-4673-2263-8 [doi>10.1109/LICS.2012.16]
Institution: Chair of Computer Science 8 (Theoretical Computer Science)
|
|
|