Miculan, Marino; Peressotti, Marco Structural operational semantics for non-deterministic processes with quantitative aspects. (English) Zbl 1356.68157 Theor. Comput. Sci. 655, Part B, 135-154 (2016). MSC: 68Q85 68Q55 68Q65 PDFBibTeX XMLCite \textit{M. Miculan} and \textit{M. Peressotti}, Theor. Comput. Sci. 655, Part B, 135--154 (2016; Zbl 1356.68157) Full Text: DOI arXiv
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. (English) Zbl 1330.68194 Theor. Comput. Sci. 604, 102-126 (2015). MSC: 68Q85 18C50 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Theor. Comput. Sci. 604, 102--126 (2015; Zbl 1330.68194) Full Text: DOI arXiv
Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning Coalgebraic constructions of canonical nondeterministic automata. (English) Zbl 1380.68290 Theor. Comput. Sci. 604, 81-101 (2015). Reviewer: Nelson Martins-Ferreira (Leiria) MSC: 68Q70 PDFBibTeX XMLCite \textit{R. S. R. Myers} et al., Theor. Comput. Sci. 604, 81--101 (2015; Zbl 1380.68290) Full Text: DOI
Hasuo, Ichiro Generic weakest precondition semantics from monads enriched with order. (English) Zbl 1330.68046 Theor. Comput. Sci. 604, 2-29 (2015). MSC: 68N30 18C15 18C20 68Q55 68Q60 PDFBibTeX XMLCite \textit{I. Hasuo}, Theor. Comput. Sci. 604, 2--29 (2015; Zbl 1330.68046) Full Text: DOI
Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R. A description based on languages of the final non-deterministic automaton. (English) Zbl 1359.68202 Theor. Comput. Sci. 536, 1-20 (2014). MSC: 68Q70 18B20 68Q85 PDFBibTeX XMLCite \textit{A. Ballester-Bolinches} et al., Theor. Comput. Sci. 536, 1--20 (2014; Zbl 1359.68202) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Base modules for parametrized iterativity. (English) Zbl 1282.68168 Theor. Comput. Sci. 523, 56-85 (2014). MSC: 68Q65 18C10 68Q70 18C20 PDFBibTeX XMLCite \textit{J. Adámek} et al., Theor. Comput. Sci. 523, 56--85 (2014; Zbl 1282.68168) Full Text: DOI
Aiguier, Marc; Boulanger, Frédéric; Kanso, Bilal A formal abstract framework for modelling and testing complex software systems. (English) Zbl 1279.68193 Theor. Comput. Sci. 455, 66-97 (2012). MSC: 68Q60 68N30 68Q65 PDFBibTeX XMLCite \textit{M. Aiguier} et al., Theor. Comput. Sci. 455, 66--97 (2012; Zbl 1279.68193) Full Text: DOI
Skowron, Andrzej; Wasilewski, Piotr Interactive information systems: toward perception based computing. (English) Zbl 1286.68480 Theor. Comput. Sci. 454, 240-260 (2012). MSC: 68U35 68T35 68Q10 PDFBibTeX XMLCite \textit{A. Skowron} and \textit{P. Wasilewski}, Theor. Comput. Sci. 454, 240--260 (2012; Zbl 1286.68480) Full Text: DOI
Kurz, Alexander; Leal, Raul Modalities in the Stone age: a comparison of coalgebraic logics. (English) Zbl 1250.03126 Theor. Comput. Sci. 430, 88-116 (2012). MSC: 03G30 03B45 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{R. Leal}, Theor. Comput. Sci. 430, 88--116 (2012; Zbl 1250.03126) Full Text: DOI
Ehrhard, Thomas The Scott model of linear logic is the extensional collapse of its relational model. (English) Zbl 1241.03024 Theor. Comput. Sci. 424, 20-45 (2012). MSC: 03B47 03B40 68Q55 PDFBibTeX XMLCite \textit{T. Ehrhard}, Theor. Comput. Sci. 424, 20--45 (2012; Zbl 1241.03024) Full Text: DOI
Lu, Juan; Li, Sheng-Gang; Yang, Xiao-Fei; Fu, Wen-Qing Categorical properties of \(M\)-indiscernibility spaces. (English) Zbl 1225.03069 Theor. Comput. Sci. 412, No. 42, 5902-5908 (2011). MSC: 03E72 18B25 18B30 PDFBibTeX XMLCite \textit{J. Lu} et al., Theor. Comput. Sci. 412, No. 42, 5902--5908 (2011; Zbl 1225.03069) Full Text: DOI
Sokolova, Ana Probabilistic systems coalgebraically: a survey. (English) Zbl 1234.68308 Theor. Comput. Sci. 412, No. 38, 5095-5110 (2011). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{A. Sokolova}, Theor. Comput. Sci. 412, No. 38, 5095--5110 (2011; Zbl 1234.68308) Full Text: DOI
Kupke, Clemens; Pattinson, Dirk Coalgebraic semantics of modal logics: an overview. (English) Zbl 1360.03068 Theor. Comput. Sci. 412, No. 38, 5070-5094 (2011). MSC: 03B45 03G30 PDFBibTeX XMLCite \textit{C. Kupke} and \textit{D. Pattinson}, Theor. Comput. Sci. 412, No. 38, 5070--5094 (2011; Zbl 1360.03068) Full Text: DOI
Capretta, Venanzio Coalgebras in functional programming and type theory. (English) Zbl 1225.68057 Theor. Comput. Sci. 412, No. 38, 5006-5024 (2011). MSC: 68N18 03B70 68Q65 PDFBibTeX XMLCite \textit{V. Capretta}, Theor. Comput. Sci. 412, No. 38, 5006--5024 (2011; Zbl 1225.68057) Full Text: DOI
Balan, A.; Kurz, A. On coalgebras over algebras. (English) Zbl 1232.68089 Theor. Comput. Sci. 412, No. 38, 4989-5005 (2011). Reviewer: Juan Climent Vidal (València) MSC: 68Q65 18C15 PDFBibTeX XMLCite \textit{A. Balan} and \textit{A. Kurz}, Theor. Comput. Sci. 412, No. 38, 4989--5005 (2011; Zbl 1232.68089) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří On second-order iterative monads. (English) Zbl 1243.68206 Theor. Comput. Sci. 412, No. 38, 4969-4988 (2011). Reviewer: Lutz Schröder (Bremen) MSC: 68Q55 03D75 68Q65 18C35 18C15 PDFBibTeX XMLCite \textit{J. Adámek} et al., Theor. Comput. Sci. 412, No. 38, 4969--4988 (2011; Zbl 1243.68206) Full Text: DOI
Jacobs, Bart Probabilities, distribution monads, and convex categories. (English) Zbl 1218.18003 Theor. Comput. Sci. 412, No. 28, 3323-3336 (2011). MSC: 18C15 03G12 18C10 PDFBibTeX XMLCite \textit{B. Jacobs}, Theor. Comput. Sci. 412, No. 28, 3323--3336 (2011; Zbl 1218.18003) Full Text: DOI
Haghverdi, Esfandiar Towards a geometry of recursion. (English) Zbl 1222.03068 Theor. Comput. Sci. 412, No. 20, 2015-2028 (2011). MSC: 03F52 03B70 03G30 68Q05 68W01 PDFBibTeX XMLCite \textit{E. Haghverdi}, Theor. Comput. Sci. 412, No. 20, 2015--2028 (2011; Zbl 1222.03068) Full Text: DOI
Goubault-Larrecq, Jean Musings around the geometry of interaction, and coherence. (English) Zbl 1222.03066 Theor. Comput. Sci. 412, No. 20, 1998-2014 (2011). MSC: 03F52 03B70 03G30 PDFBibTeX XMLCite \textit{J. Goubault-Larrecq}, Theor. Comput. Sci. 412, No. 20, 1998--2014 (2011; Zbl 1222.03066) Full Text: DOI
Jaskelioff, Mauro; Moggi, Eugenio Monad transformers as monoid transformers. (English) Zbl 1209.68107 Theor. Comput. Sci. 411, No. 51-52, 4441-4466 (2010). MSC: 68N18 68N15 18B99 PDFBibTeX XMLCite \textit{M. Jaskelioff} and \textit{E. Moggi}, Theor. Comput. Sci. 411, No. 51--52, 4441--4466 (2010; Zbl 1209.68107) Full Text: DOI
O’Connor, Russell; Spitters, Bas A computer-verified monadic functional implementation of the integral. (English) Zbl 1209.68108 Theor. Comput. Sci. 411, No. 37, 3386-3402 (2010). MSC: 68N18 PDFBibTeX XMLCite \textit{R. O'Connor} and \textit{B. Spitters}, Theor. Comput. Sci. 411, No. 37, 3386--3402 (2010; Zbl 1209.68108) Full Text: DOI
Hesselink, Wim H. Alternating states for dual nondeterminism in imperative programming. (English) Zbl 1208.68107 Theor. Comput. Sci. 411, No. 22-24, 2317-2330 (2010). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{W. H. Hesselink}, Theor. Comput. Sci. 411, No. 22--24, 2317--2330 (2010; Zbl 1208.68107) Full Text: DOI Link
Hasuo, Ichiro; Kawabe, Yoshinobu; Sakurada, Hideki Probabilistic anonymity via coalgebraic simulations. (English) Zbl 1209.68219 Theor. Comput. Sci. 411, No. 22-24, 2239-2259 (2010). MSC: 68P25 68Q45 PDFBibTeX XMLCite \textit{I. Hasuo} et al., Theor. Comput. Sci. 411, No. 22--24, 2239--2259 (2010; Zbl 1209.68219) Full Text: DOI Link
Battenfeld, Ingo Comparing free algebras in topological and classical domain theory. (English) Zbl 1200.68151 Theor. Comput. Sci. 411, No. 19, 1900-1917 (2010). MSC: 68Q55 PDFBibTeX XMLCite \textit{I. Battenfeld}, Theor. Comput. Sci. 411, No. 19, 1900--1917 (2010; Zbl 1200.68151) Full Text: DOI
Hines, Peter Quantum circuit oracles for abstract machine computations. (English) Zbl 1195.68045 Theor. Comput. Sci. 411, No. 11-13, 1501-1520 (2010). MSC: 68Q05 68Q10 81P68 PDFBibTeX XMLCite \textit{P. Hines}, Theor. Comput. Sci. 411, No. 11--13, 1501--1520 (2010; Zbl 1195.68045) Full Text: DOI
Amato, Gianluca; Lipton, James; McGrail, Robert On the algebraic structure of declarative programming languages. (English) Zbl 1187.68121 Theor. Comput. Sci. 410, No. 46, 4626-4671 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{G. Amato} et al., Theor. Comput. Sci. 410, No. 46, 4626--4671 (2009; Zbl 1187.68121) Full Text: DOI
Fiore, Marcelo; Hur, Chung-Kil On the construction of free algebras for equational systems. (English) Zbl 1170.18006 Theor. Comput. Sci. 410, No. 18, 1704-1729 (2009). Reviewer: Michel Hébert (Cairo) MSC: 18C05 08B20 68Q85 03B70 PDFBibTeX XMLCite \textit{M. Fiore} and \textit{C.-K. Hur}, Theor. Comput. Sci. 410, No. 18, 1704--1729 (2009; Zbl 1170.18006) Full Text: DOI
Schröder, Lutz Expressivity of coalgebraic modal logic: the limits and beyond. (English) Zbl 1132.03008 Theor. Comput. Sci. 390, No. 2-3, 230-247 (2008). MSC: 03B45 03B70 68Q65 PDFBibTeX XMLCite \textit{L. Schröder}, Theor. Comput. Sci. 390, No. 2--3, 230--247 (2008; Zbl 1132.03008) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Algebras with parametrized iterativity. (English) Zbl 1131.18002 Theor. Comput. Sci. 388, No. 1-3, 130-151 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18C10 08B20 68Q45 PDFBibTeX XMLCite \textit{J. Adámek} et al., Theor. Comput. Sci. 388, No. 1--3, 130--151 (2007; Zbl 1131.18002) Full Text: DOI
Johnson, Michael; Rosebrugh, Robert Fibrations and universal view updatability. (English) Zbl 1143.68014 Theor. Comput. Sci. 388, No. 1-3, 109-129 (2007). MSC: 68P15 68Q65 68U35 PDFBibTeX XMLCite \textit{M. Johnson} and \textit{R. Rosebrugh}, Theor. Comput. Sci. 388, No. 1--3, 109--129 (2007; Zbl 1143.68014) Full Text: DOI
van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James Recursively defined metric spaces without contraction. (English) Zbl 1118.68085 Theor. Comput. Sci. 380, No. 1-2, 143-163 (2007); addendum ibid. 492, 117–122 (2013). MSC: 68Q55 68Q85 54E35 PDFBibTeX XMLCite \textit{F. van Breugel} et al., Theor. Comput. Sci. 380, No. 1--2, 143--163 (2007; Zbl 1118.68085) Full Text: DOI
Hyland, Martin; Levy, Paul Blain; Plotkin, Gordon; Power, John Combining algebraic effects with continuations. (English) Zbl 1111.68067 Theor. Comput. Sci. 375, No. 1-3, 20-40 (2007). MSC: 68Q55 68Q05 68Q10 18C10 18C15 18C20 PDFBibTeX XMLCite \textit{M. Hyland} et al., Theor. Comput. Sci. 375, No. 1--3, 20--40 (2007; Zbl 1111.68067) Full Text: DOI Link
Hyland, Martin; Power, John Discrete Lawvere theories and computational effects. (English) Zbl 1112.18006 Theor. Comput. Sci. 366, No. 1-2, 144-162 (2006). Reviewer: Manuel Ojeda Aciego (Málaga) MSC: 18C10 68Q85 18D99 PDFBibTeX XMLCite \textit{M. Hyland} and \textit{J. Power}, Theor. Comput. Sci. 366, No. 1--2, 144--162 (2006; Zbl 1112.18006) Full Text: DOI
Milius, Stefan; Moss, Lawrence S. The category-theoretic solution of recursive program schemes. (English) Zbl 1154.68041 Theor. Comput. Sci. 366, No. 1-2, 3-59 (2006). MSC: 68N30 18C10 18C15 68Q55 PDFBibTeX XMLCite \textit{S. Milius} and \textit{L. S. Moss}, Theor. Comput. Sci. 366, No. 1--2, 3--59 (2006; Zbl 1154.68041) Full Text: DOI
Boreale, Michele; Gadducci, Fabio Processes as formal power series: a coinductive approach to denotational semantics. (English) Zbl 1097.68070 Theor. Comput. Sci. 360, No. 1-3, 440-458 (2006). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{M. Boreale} and \textit{F. Gadducci}, Theor. Comput. Sci. 360, No. 1--3, 440--458 (2006; Zbl 1097.68070) Full Text: DOI
Friggens, David; Goldblatt, Robert A modal proof theory for final polynomial coalgebras. (English) Zbl 1097.68091 Theor. Comput. Sci. 360, No. 1-3, 1-22 (2006). MSC: 68Q85 03B45 03F03 03G30 18C50 68Q55 PDFBibTeX XMLCite \textit{D. Friggens} and \textit{R. Goldblatt}, Theor. Comput. Sci. 360, No. 1--3, 1--22 (2006; Zbl 1097.68091) Full Text: DOI
Hyland, Martin; Plotkin, Gordon; Power, John Combining effects: sum and tensor. (English) Zbl 1096.68088 Theor. Comput. Sci. 357, No. 1-3, 70-99 (2006). MSC: 68Q55 PDFBibTeX XMLCite \textit{M. Hyland} et al., Theor. Comput. Sci. 357, No. 1--3, 70--99 (2006; Zbl 1096.68088) Full Text: DOI
Haghverdi, Esfandiar; Scott, Philip A categorical model for the geometry of interaction. (English) Zbl 1086.03050 Theor. Comput. Sci. 350, No. 2-3, 252-274 (2006). MSC: 03F52 03B70 03G30 PDFBibTeX XMLCite \textit{E. Haghverdi} and \textit{P. Scott}, Theor. Comput. Sci. 350, No. 2--3, 252--274 (2006; Zbl 1086.03050) Full Text: DOI
Worrell, James On the final sequence of a finitary set functor. (English) Zbl 1070.18004 Theor. Comput. Sci. 338, No. 1-3, 184-199 (2005). Reviewer: Paul Bankston (Milwaukee) MSC: 18D15 18B05 68Q65 03E75 PDFBibTeX XMLCite \textit{J. Worrell}, Theor. Comput. Sci. 338, No. 1--3, 184--199 (2005; Zbl 1070.18004) Full Text: DOI
Palmigiano, Alessandra A coalgebraic view on positive modal logic. (English) Zbl 1068.03017 Theor. Comput. Sci. 327, No. 1-2, 175-195 (2004). Reviewer: Jesús Medina Moreno (Malaga) MSC: 03B45 03B70 03G30 PDFBibTeX XMLCite \textit{A. Palmigiano}, Theor. Comput. Sci. 327, No. 1--2, 175--195 (2004; Zbl 1068.03017) Full Text: DOI
Matthes, Ralph; Uustalu, Tarmo Substitution in non-wellfounded syntax with variable binding. (English) Zbl 1071.68063 Theor. Comput. Sci. 327, No. 1-2, 155-174 (2004). MSC: 68Q65 18C50 PDFBibTeX XMLCite \textit{R. Matthes} and \textit{T. Uustalu}, Theor. Comput. Sci. 327, No. 1--2, 155--174 (2004; Zbl 1071.68063) Full Text: DOI
Cîrstea, Corina A compositional approach to defining logics for coalgebras. (English) Zbl 1088.03030 Theor. Comput. Sci. 327, No. 1-2, 45-69 (2004). MSC: 03B70 03B45 03G30 18B20 68Q65 PDFBibTeX XMLCite \textit{C. Cîrstea}, Theor. Comput. Sci. 327, No. 1--2, 45--69 (2004; Zbl 1088.03030) Full Text: DOI Link
Adámek, J.; Porst, H.-E. On tree coalgebras and coalgebra presentations. (English) Zbl 1086.68088 Theor. Comput. Sci. 311, No. 1-3, 257-283 (2004). MSC: 68Q65 68Q85 18C35 PDFBibTeX XMLCite \textit{J. Adámek} and \textit{H. E. Porst}, Theor. Comput. Sci. 311, No. 1--3, 257--283 (2004; Zbl 1086.68088) Full Text: DOI
Bauer, Andrej; Birkedal, Lars; Scott, Dana S. Equilogical spaces. (English) Zbl 1059.18004 Theor. Comput. Sci. 315, No. 1, 35-59 (2004). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 18C50 68Q55 18D15 03G30 PDFBibTeX XMLCite \textit{A. Bauer} et al., Theor. Comput. Sci. 315, No. 1, 35--59 (2004; Zbl 1059.18004) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří On coalgebra based on classes. (English) Zbl 1047.18005 Theor. Comput. Sci. 316, No. 1-3, 3-23 (2004). Reviewer: Václav Koubek (Praha) MSC: 18B05 18C15 08A70 PDFBibTeX XMLCite \textit{J. Adámek} et al., Theor. Comput. Sci. 316, No. 1--3, 3--23 (2004; Zbl 1047.18005) Full Text: DOI arXiv
Finkelstein, Stacy E.; Freyd, Peter; Lipton, James A new framework for declarative programming. (English) Zbl 1028.68023 Theor. Comput. Sci. 300, No. 1-3, 91-160 (2003); erratum ibid. 311, 527 (2004). MSC: 68N19 PDFBibTeX XMLCite \textit{S. E. Finkelstein} et al., Theor. Comput. Sci. 300, No. 1--3, 91--160 (2004; Zbl 1028.68023) Full Text: DOI
Durán, Francisco; Meseguer, José Structured theories and institutions. (English) Zbl 1070.68090 Theor. Comput. Sci. 309, No. 1-3, 357-380 (2003). MSC: 68Q60 68Q65 18C10 PDFBibTeX XMLCite \textit{F. Durán} and \textit{J. Meseguer}, Theor. Comput. Sci. 309, No. 1--3, 357--380 (2003; Zbl 1070.68090) Full Text: DOI
Pattinson, Dirk Coalgebraic modal logic: soundness, completeness and decidability of local consequence. (English) Zbl 1052.03009 Theor. Comput. Sci. 309, No. 1-3, 177-193 (2003). MSC: 03B45 03G30 PDFBibTeX XMLCite \textit{D. Pattinson}, Theor. Comput. Sci. 309, No. 1--3, 177--193 (2003; Zbl 1052.03009) Full Text: DOI
Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří Infinite trees and completely iterative theories: A coalgebraic view. (English) Zbl 1028.68077 Theor. Comput. Sci. 300, No. 1-3, 1-45 (2003). MSC: 68Q45 18B20 18C10 18C20 18D10 PDFBibTeX XMLCite \textit{P. Aczel} et al., Theor. Comput. Sci. 300, No. 1--3, 1--45 (2003; Zbl 1028.68077) Full Text: DOI
Pratt, Vaughan Chu spaces as a semantic bridge between linear logic and mathematics. (English) Zbl 1042.18002 Theor. Comput. Sci. 294, No. 3, 439-471 (2003). Reviewer: Peter T. Johnstone (Cambridge) MSC: 18B15 03F52 03G30 08A02 18D15 PDFBibTeX XMLCite \textit{V. Pratt}, Theor. Comput. Sci. 294, No. 3, 439--471 (2003; Zbl 1042.18002) Full Text: DOI
Tsuiki, Hideki A domain-theoretic semantics of lax generic functions. (English) Zbl 1051.68046 Theor. Comput. Sci. 294, No. 1-2, 307-331 (2003). MSC: 68N18 PDFBibTeX XMLCite \textit{H. Tsuiki}, Theor. Comput. Sci. 294, No. 1--2, 307--331 (2003; Zbl 1051.68046) Full Text: DOI
Murawski, A. S.; Ong, C.-H. L. Exhausting strategies, joker games and full completeness for IMLL with unit. (English) Zbl 1029.03053 Theor. Comput. Sci. 294, No. 1-2, 269-305 (2003). MSC: 03F52 03G30 18D15 91A80 PDFBibTeX XMLCite \textit{A. S. Murawski} and \textit{C. H. L. Ong}, Theor. Comput. Sci. 294, No. 1--2, 269--305 (2003; Zbl 1029.03053) Full Text: DOI
Hyland, Martin; Schalk, Andrea Glueing and orthogonality for models of linear logic. (English) Zbl 1029.03051 Theor. Comput. Sci. 294, No. 1-2, 183-231 (2003). MSC: 03F52 03G30 PDFBibTeX XMLCite \textit{M. Hyland} and \textit{A. Schalk}, Theor. Comput. Sci. 294, No. 1--2, 183--231 (2003; Zbl 1029.03051) Full Text: DOI
Hildebrandt, Thomas T. Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay. (English) Zbl 1028.68085 Theor. Comput. Sci. 294, No. 1-2, 151-181 (2003). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{T. T. Hildebrandt}, Theor. Comput. Sci. 294, No. 1--2, 151--181 (2003; Zbl 1028.68085) Full Text: DOI
Bucalo, Anna; Führmann, Carsten; Simpson, Alex An equational notion of lifting monad. (English) Zbl 1022.18003 Theor. Comput. Sci. 294, No. 1-2, 31-60 (2003). Reviewer: Hirokazu Nishimura (Tsukuba/Ibaraki) MSC: 18B20 68Q05 18C15 18C50 68Q55 PDFBibTeX XMLCite \textit{A. Bucalo} et al., Theor. Comput. Sci. 294, No. 1--2, 31--60 (2003; Zbl 1022.18003) Full Text: DOI
Adámek, Jiří On final coalgebras of continuous functors. (English) Zbl 1028.68078 Theor. Comput. Sci. 294, No. 1-2, 3-29 (2003). MSC: 68Q45 18B20 PDFBibTeX XMLCite \textit{J. Adámek}, Theor. Comput. Sci. 294, No. 1--2, 3--29 (2003; Zbl 1028.68078) Full Text: DOI
Dezani-Ciancaglini, Mariangiola; Severi, Paula; de Vries, Fer-Jan Infinitary lambda calculus and discrimination of Berarducci trees. (English) Zbl 1038.68023 Theor. Comput. Sci. 298, No. 2, 275-302 (2003). MSC: 68N18 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., Theor. Comput. Sci. 298, No. 2, 275--302 (2003; Zbl 1038.68023) Full Text: DOI
Jacobs, Bart; Poll, Erik Coalgebras and monads in the semantics of Java. (English) Zbl 1008.68073 Theor. Comput. Sci. 291, No. 3, 329-349 (2003). MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{B. Jacobs} and \textit{E. Poll}, Theor. Comput. Sci. 291, No. 3, 329--349 (2003; Zbl 1008.68073) Full Text: DOI
Manes, Ernest G. Taut monads and \(T0\)-spaces. (English) Zbl 1033.18001 Theor. Comput. Sci. 275, No. 1-2, 79-109 (2002). Reviewer: Jiří Rosický (Brno) MSC: 18C15 68N18 18B30 54B30 54D10 68N30 PDFBibTeX XMLCite \textit{E. G. Manes}, Theor. Comput. Sci. 275, No. 1--2, 79--109 (2002; Zbl 1033.18001) Full Text: DOI
Mulry, P. S. Lifting results for categories of algebras. (English) Zbl 1002.68088 Theor. Comput. Sci. 278, No. 1-2, 257-269 (2002). MSC: 68Q55 18B20 PDFBibTeX XMLCite \textit{P. S. Mulry}, Theor. Comput. Sci. 278, No. 1--2, 257--269 (2002; Zbl 1002.68088) Full Text: DOI
Power, John; Watanabe, Hiroshi Combining a monad and a comonad. (English) Zbl 1002.68059 Theor. Comput. Sci. 280, No. 1-2, 137-162 (2002). MSC: 68Q10 68Q55 PDFBibTeX XMLCite \textit{J. Power} and \textit{H. Watanabe}, Theor. Comput. Sci. 280, No. 1--2, 137--162 (2002; Zbl 1002.68059) Full Text: DOI
Hasegawa, Ryu Two applications of analytic functors. (English) Zbl 0984.68030 Theor. Comput. Sci. 272, No. 1-2, 113-175 (2002). MSC: 68N18 PDFBibTeX XMLCite \textit{R. Hasegawa}, Theor. Comput. Sci. 272, No. 1--2, 113--175 (2002; Zbl 0984.68030) Full Text: DOI
Goldblatt, R. What is the coalgebraic analogue of Birkhoff’s variety theorem? (English) Zbl 0989.68099 Theor. Comput. Sci. 266, No. 1-2, 853-886 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Goldblatt}, Theor. Comput. Sci. 266, No. 1--2, 853--886 (2001; Zbl 0989.68099) Full Text: DOI
Bauderon, M.; Jacquet, H. Node rewriting in graphs and hypergraphs: A categorical framework. (English) Zbl 0989.68064 Theor. Comput. Sci. 266, No. 1-2, 463-487 (2001). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Bauderon} and \textit{H. Jacquet}, Theor. Comput. Sci. 266, No. 1--2, 463--487 (2001; Zbl 0989.68064) Full Text: DOI
Rö, M. From modal logic to terminal coalgebras. (English) Zbl 0973.68177 Theor. Comput. Sci. 260, No. 1-2, 209-228 (2001). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{M. Rö}, Theor. Comput. Sci. 260, No. 1--2, 209--228 (2001; Zbl 0973.68177) Full Text: DOI
Johnstone, P.; Power, J.; Tsujishita, T.; Watanabe, H.; Worrell, J. On the structure of categories of coalgebras. (English) Zbl 0973.68178 Theor. Comput. Sci. 260, No. 1-2, 87-117 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Johnstone} et al., Theor. Comput. Sci. 260, No. 1--2, 87--117 (2001; Zbl 0973.68178) Full Text: DOI
Gumm, H. P.; Schröder, T. Covarieties and complete covarieties. (English) Zbl 0973.68174 Theor. Comput. Sci. 260, No. 1-2, 71-86 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. P. Gumm} and \textit{T. Schröder}, Theor. Comput. Sci. 260, No. 1--2, 71--86 (2001; Zbl 0973.68174) Full Text: DOI
Gumm, H. P. Equational and implicational classes of coalgebras. (English) Zbl 0973.68175 Theor. Comput. Sci. 260, No. 1-2, 57-69 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. P. Gumm}, Theor. Comput. Sci. 260, No. 1--2, 57--69 (2001; Zbl 0973.68175) Full Text: DOI
Rutten, J. J. M. M. Universal coalgebra: A theory of systems. (English) Zbl 0951.68038 Theor. Comput. Sci. 249, No. 1, 3-80 (2000). MSC: 68Q10 68Q55 PDFBibTeX XMLCite \textit{J. J. M. M. Rutten}, Theor. Comput. Sci. 249, No. 1, 3--80 (2000; Zbl 0951.68038) Full Text: DOI
Oriat, C. Detecting equivalence of modular specifications with categorical diagrams. (English) Zbl 0949.68103 Theor. Comput. Sci. 247, No. 1-2, 141-190 (2000). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Oriat}, Theor. Comput. Sci. 247, No. 1--2, 141--190 (2000; Zbl 0949.68103) Full Text: DOI
Goguen, Joseph A.; Malcolm, Grant A hidden agenda. (English) Zbl 0946.68070 Theor. Comput. Sci. 245, No. 1, 55-101 (2000). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{J. A. Goguen} and \textit{G. Malcolm}, Theor. Comput. Sci. 245, No. 1, 55--101 (2000; Zbl 0946.68070) Full Text: DOI
Jacobs, Bart Object-oriented hybrid systems of coalgebras plus monoid actions. (English) Zbl 0944.68122 Theor. Comput. Sci. 239, No. 1, 41-95 (2000). MSC: 68Q55 PDFBibTeX XMLCite \textit{B. Jacobs}, Theor. Comput. Sci. 239, No. 1, 41--95 (2000; Zbl 0944.68122) Full Text: DOI
Bouhoula, A.; Jouannaud, J.-P.; Meseguer, J. Specification and proof in membership equational logic. (English) Zbl 0938.68057 Theor. Comput. Sci. 236, No. 1-2, 35-132 (2000). MSC: 68Q65 PDFBibTeX XMLCite \textit{A. Bouhoula} et al., Theor. Comput. Sci. 236, No. 1--2, 35--132 (2000; Zbl 0938.68057) Full Text: DOI
Abramsky, S.; Gay, S. J.; Nagarajan, R. A specification structure for deadlock-freedom of synchronous processes. (English) Zbl 0932.68061 Theor. Comput. Sci. 222, No. 1-2, 1-53 (1999). MSC: 68Q55 68Q60 PDFBibTeX XMLCite \textit{S. Abramsky} et al., Theor. Comput. Sci. 222, No. 1--2, 1--53 (1999; Zbl 0932.68061) Full Text: DOI
Fu, Yuxi Variations on mobile processes. (English) Zbl 0930.68062 Theor. Comput. Sci. 221, No. 1-2, 327-368 (1999). MSC: 68Q10 68Q85 PDFBibTeX XMLCite \textit{Y. Fu}, Theor. Comput. Sci. 221, No. 1--2, 327--368 (1999; Zbl 0930.68062) Full Text: DOI
de Vink, E. P.; Rutten, J. J. M. M. Bisimulation for probabilistic transition systems: A coalgebraic approach. (English) Zbl 0930.68092 Theor. Comput. Sci. 221, No. 1-2, 271-293 (1999). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. P. de Vink} and \textit{J. J. M. M. Rutten}, Theor. Comput. Sci. 221, No. 1--2, 271--293 (1999; Zbl 0930.68092) Full Text: DOI
Hartonas, Chrysafis A fixpoint approach to finite delay and fairness. (English) Zbl 0911.68101 Theor. Comput. Sci. 198, No. 1-2, 131-158 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Hartonas}, Theor. Comput. Sci. 198, No. 1--2, 131--158 (1998; Zbl 0911.68101) Full Text: DOI
van Breugel, Franck Terminal metric spaces of finitely branching and image finite linear processes. (English) Zbl 0902.68118 Theor. Comput. Sci. 202, No. 1-2, 223-230 (1998). MSC: 68Q55 68Q45 PDFBibTeX XMLCite \textit{F. van Breugel}, Theor. Comput. Sci. 202, No. 1--2, 223--230 (1998; Zbl 0902.68118) Full Text: DOI
Libkin, Leonid Models of approximation in databases. (English) Zbl 0903.68059 Theor. Comput. Sci. 190, No. 2, 167-210 (1998). MSC: 68P15 PDFBibTeX XMLCite \textit{L. Libkin}, Theor. Comput. Sci. 190, No. 2, 167--210 (1998; Zbl 0903.68059) Full Text: DOI
Cockett, J. R. B.; Spooner, David A. Constructing process categories. (English) Zbl 0901.68108 Theor. Comput. Sci. 177, No. 1, 73-109 (1997). MSC: 68Q55 18B20 PDFBibTeX XMLCite \textit{J. R. B. Cockett} and \textit{D. A. Spooner}, Theor. Comput. Sci. 177, No. 1, 73--109 (1997; Zbl 0901.68108) Full Text: DOI
Anderson, S. O.; Power, A. J. A representable approach to finite nondeterminism. (English) Zbl 0901.68105 Theor. Comput. Sci. 177, No. 1, 3-25 (1997). MSC: 68Q55 PDFBibTeX XMLCite \textit{S. O. Anderson} and \textit{A. J. Power}, Theor. Comput. Sci. 177, No. 1, 3--25 (1997; Zbl 0901.68105) Full Text: DOI
Baier, Christel Trees and semantics. (English) Zbl 0901.68114 Theor. Comput. Sci. 179, No. 1-2, 217-250 (1997). MSC: 68Q55 PDFBibTeX XMLCite \textit{C. Baier}, Theor. Comput. Sci. 179, No. 1--2, 217--250 (1997; Zbl 0901.68114) Full Text: DOI
Bloom, Stephen L.; Ésik, Zoltán The equational logic of fixed points. (English) Zbl 0920.03067 Theor. Comput. Sci. 179, No. 1-2, 1-60 (1997). Reviewer: P.Bankston (Milwaukee) MSC: 03G30 18C10 08A70 03D75 08B05 06B35 68Q55 PDFBibTeX XMLCite \textit{S. L. Bloom} and \textit{Z. Ésik}, Theor. Comput. Sci. 179, No. 1--2, 1--60 (1997; Zbl 0920.03067) Full Text: DOI
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut Institutions for logic programming. (English) Zbl 0901.68027 Theor. Comput. Sci. 173, No. 2, 485-511 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Orejas} et al., Theor. Comput. Sci. 173, No. 2, 485--511 (1997; Zbl 0901.68027) Full Text: DOI
Zhang, Guo-Qiang Quasi-prime algebraic domains. (English) Zbl 0873.68132 Theor. Comput. Sci. 155, No. 1, 221-264 (1996). MSC: 68Q55 18D15 68Q65 03B40 PDFBibTeX XMLCite \textit{G.-Q. Zhang}, Theor. Comput. Sci. 155, No. 1, 221--264 (1996; Zbl 0873.68132) Full Text: DOI
Bloom, Stephen L.; Ésik, Zoltán Fixed-point operations on ccc’s. I. (English) Zbl 0874.18006 Theor. Comput. Sci. 155, No. 1, 1-38 (1996). MSC: 18D15 68Q55 08A70 PDFBibTeX XMLCite \textit{S. L. Bloom} and \textit{Z. Ésik}, Theor. Comput. Sci. 155, No. 1, 1--38 (1996; Zbl 0874.18006) Full Text: DOI
Tuijn, Chris; Gyssens, Marc CGOOD, a categorical graph-oriented object data model. (English) Zbl 0872.68028 Theor. Comput. Sci. 160, No. 1-2, 217-239 (1996). MSC: 68P15 68P05 PDFBibTeX XMLCite \textit{C. Tuijn} and \textit{M. Gyssens}, Theor. Comput. Sci. 160, No. 1--2, 217--239 (1996; Zbl 0872.68028) Full Text: DOI
Barr, Michael Nonsymmetric \(^{\ast}\)-autonomous categories. (English) Zbl 0874.18004 Theor. Comput. Sci. 139, No. 1-2, 115-130 (1995). MSC: 18D10 03G30 03B70 PDFBibTeX XMLCite \textit{M. Barr}, Theor. Comput. Sci. 139, No. 1--2, 115--130 (1995; Zbl 0874.18004) Full Text: DOI
Adámek, Jiří; Koubek, Václav On the greatest fixed point of a set functor. (English) Zbl 0874.18001 Theor. Comput. Sci. 150, No. 1, 57-75 (1995). MSC: 18B05 68Q55 06A06 18A35 PDFBibTeX XMLCite \textit{J. Adámek} and \textit{V. Koubek}, Theor. Comput. Sci. 150, No. 1, 57--75 (1995; Zbl 0874.18001) Full Text: DOI
Banach, R. Locating the contractum in the double pushout approach. (English) Zbl 0872.68077 Theor. Comput. Sci. 152, No. 2, 305-320 (1995). MSC: 68Q42 PDFBibTeX XMLCite \textit{R. Banach}, Theor. Comput. Sci. 152, No. 2, 305--320 (1995; Zbl 0872.68077) Full Text: DOI
Mulry, Philip S. Partial map classifiers and partial cartesian closed categories. (English) Zbl 0874.68183 Theor. Comput. Sci. 136, No. 1, 109-123 (1994). MSC: 68Q55 PDFBibTeX XMLCite \textit{P. S. Mulry}, Theor. Comput. Sci. 136, No. 1, 109--123 (1994; Zbl 0874.68183) Full Text: DOI
Banach, R. Term graph rewriting and garbage collection using opfibrations. (English) Zbl 0817.18006 Theor. Comput. Sci. 131, No. 1, 29-94 (1994). Reviewer: C.B.Jay (Sydney) MSC: 18C10 68Q55 68Q42 18A30 PDFBibTeX XMLCite \textit{R. Banach}, Theor. Comput. Sci. 131, No. 1, 29--94 (1994; Zbl 0817.18006) Full Text: DOI
Banach, R. Regular relations and bicartesian squares. (English) Zbl 0802.18004 Theor. Comput. Sci. 129, No. 1, 187-192 (1994). Reviewer: A.Maggiolo-Schettini (Pisa) MSC: 18B10 18A30 68Q65 PDFBibTeX XMLCite \textit{R. Banach}, Theor. Comput. Sci. 129, No. 1, 187--192 (1994; Zbl 0802.18004) Full Text: DOI
Barr, Michael Additions and corrections to “Terminal coalgebras in well-founded set theory”. (English) Zbl 0788.18001 Theor. Comput. Sci. 124, No. 1, 189-192 (1994). MSC: 18B05 18A15 PDFBibTeX XMLCite \textit{M. Barr}, Theor. Comput. Sci. 124, No. 1, 189--192 (1994; Zbl 0788.18001) Full Text: DOI
Duval, Dominique; Sénéchaud, Pascale Sketches and parametrization. (English) Zbl 0801.68096 Theor. Comput. Sci. 123, No. 1, 117-130 (1994). MSC: 68W30 18A10 PDFBibTeX XMLCite \textit{D. Duval} and \textit{P. Sénéchaud}, Theor. Comput. Sci. 123, No. 1, 117--130 (1994; Zbl 0801.68096) Full Text: DOI
Dybkjær, Hans; Melton, Austin Comparing Hagino’s categorical programming language and typed lambda- calculi. (English) Zbl 0787.68014 Theor. Comput. Sci. 111, No. 1-2, 145-189 (1993). MSC: 68N15 03B40 68Q55 08A70 18D15 PDFBibTeX XMLCite \textit{H. Dybkjær} and \textit{A. Melton}, Theor. Comput. Sci. 111, No. 1--2, 145--189 (1993; Zbl 0787.68014) Full Text: DOI
Gilmore, Paul C.; Tsiknis, George K. A logic for category theory. (English) Zbl 0791.18002 Theor. Comput. Sci. 111, No. 1-2, 211-252 (1993). Reviewer: S.V.Solov’ev (Aarhus) MSC: 18A15 03F99 PDFBibTeX XMLCite \textit{P. C. Gilmore} and \textit{G. K. Tsiknis}, Theor. Comput. Sci. 111, No. 1--2, 211--252 (1993; Zbl 0791.18002) Full Text: DOI
Jay, C. Barry Tail recursion through universal invariants. (English) Zbl 0779.68057 Theor. Comput. Sci. 115, No. 1, 151-189 (1993). Reviewer: C.B.Jay MSC: 68Q55 68Q60 PDFBibTeX XMLCite \textit{C. B. Jay}, Theor. Comput. Sci. 115, No. 1, 151--189 (1993; Zbl 0779.68057) Full Text: DOI
Srinivas, Yellamraju V. A sheaf-theoretic approach to pattern matching and related problems. (English) Zbl 0783.68088 Theor. Comput. Sci. 112, No. 1, 53-97 (1993). MSC: 68Q99 68W10 68Q60 PDFBibTeX XMLCite \textit{Y. V. Srinivas}, Theor. Comput. Sci. 112, No. 1, 53--97 (1993; Zbl 0783.68088) Full Text: DOI
Barr, Michael Terminal coalgebras in well-founded set theory. (English) Zbl 0779.18004 Theor. Comput. Sci. 114, No. 2, 299-315 (1993). MSC: 18B05 18A15 PDFBibTeX XMLCite \textit{M. Barr}, Theor. Comput. Sci. 114, No. 2, 299--315 (1993; Zbl 0779.18004) Full Text: DOI