Journals in DBLP
Samson Abramsky , Bob Coecke Physical Traces: Quantum vs. Classical Information Processing. [Citation Graph (0, 0)][DBLP ] Journal ] Paul Taylor 0002 Local Compactness and the Baire Category Theorem in Abstract Stone Duality. [Citation Graph (0, 0)][DBLP ] Journal ] Lutz Schröder Classifying categories for partial equational logic. [Citation Graph (0, 0)][DBLP ] Journal ] Stefan Milius On Iteratable Endofunctors. [Citation Graph (0, 0)][DBLP ] Journal ] Maria Emilia Maietti Joyal's arithmetic universes via type theory. [Citation Graph (0, 0)][DBLP ] Journal ] Paul Blain Levy Adjunction Models For Call-By-Push-Value With Stacks. [Citation Graph (0, 0)][DBLP ] Journal ] François Lamarche Multiplicative Linear Logics and Fibrations. [Citation Graph (0, 0)][DBLP ] Journal ] James Laird A Categorical Semantics of Higher Order Store. [Citation Graph (0, 0)][DBLP ] Journal ] Jürgen Koslowski A monadic approach to polycategories. [Citation Graph (0, 0)][DBLP ] Journal ] Jesse Hughes , Bart Jacobs Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. [Citation Graph (0, 0)][DBLP ] Journal ] Masahito Hasegawa The Uniformity Principle on Traced Monoidal Categories. [Citation Graph (0, 0)][DBLP ] Journal ] Esfandiar Haghverdi , Paulo Tabuada , George J. Pappas Bisimulation Relations for Dynamical and Control Systems. [Citation Graph (0, 0)][DBLP ] Journal ] J. Robin B. Cockett , Luigi Santocanale Induction, Coinduction, and Adjoints. [Citation Graph (0, 0)][DBLP ] Journal ] Matteo Coccia , Fabio Gadducci , Ugo Montanari GS.Lambda Theories: A Syntax for Higher-Order Graphs. [Citation Graph (0, 0)][DBLP ] Journal ] Richard Blute , Peter Selinger Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Stephen L. Bloom , Zoltán Ésik Unique, guarded fixed points in an additive setting: Extended Abstract. [Citation Graph (0, 0)][DBLP ] Journal ] Pierre Boudes Non-Uniform Hypercoherences. [Citation Graph (0, 0)][DBLP ] Journal ] Jirí Adámek , Stefan Milius , Jiri Velebil On Rational Monads and Free Iterative Theories. [Citation Graph (0, 0)][DBLP ] Journal ] Krzysztof Worytkiewicz Paths and Simulations. [Citation Graph (0, 0)][DBLP ] Journal ] 