Logical Methods in Computer Science
Journal Abbreviation: LOG METH COMPUT SCI
ISSN: 1860-5974
Publisher: Logical Methods in Computer Science e.V.
Publications (14)
Well-pointed Coalgebras (2013)
Adámek J, Milius S, Moss L, Sousa L
Journal article
Exploring the Boundaries of Monad Tensorability on Set (2013)
Bowler N, Goncharov S, Levy P, Schröder L
Journal article, Original article
Abstract GSOS rules and a Modular Treatment of Recursive Definitions (2013)
Milius S, Moss L, Schwencke D
Journal article
Cut-simulation and impredicativity (2009)
Kohlhase M, Brown C, Benzmüller C
Journal article, Original article