MSCS. Mathematical Structures in Computer ScienceA Journal in the Applications of Categorical, Algebraic and Geometric Methods in Computer Science Short Title: Math. Struct. Comput. Sci. Publisher: Cambridge University Press, Cambridge ISSN: 0960-1295; 1469-8072/e Online: https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/all-issues Comments: Journal; Indexed cover-to-cover; Published electronic only as of Vol. 24 (2014). Print ISSN until then: 0960-1295 Documents Indexed: 1,146 Publications (since 1991) References Indexed: 774 Publications with 20,578 References. all top 5 Latest Issues 33, No. 1 (2023) 32, No. 10 (2022) 32, No. 9 (2022) 32, No. 8 (2022) 32, No. 7 (2022) 32, No. 6 (2022) 32, No. 5 (2022) 32, No. 4 (2022) 32, No. 3 (2022) 32, No. 2 (2022) 32, No. 1 (2022) 31, No. 10 (2021) 31, No. 9 (2021) 31, No. 8 (2021) 31, No. 7 (2021) 31, No. 6 (2021) 31, No. 5 (2021) 31, No. 4 (2021) 31, No. 3 (2021) 31, No. 2 (2021) 31, No. 1 (2021) 30, No. 10 (2020) 30, No. 9 (2020) 30, No. 8 (2020) 30, No. 7 (2020) 30, No. 6 (2020) 30, No. 5 (2020) 30, No. 4 (2020) 30, No. 3 (2020) 30, No. 2 (2020) 30, No. 1 (2020) 29, No. 10 (2019) 29, No. 9 (2019) 29, No. 8 (2019) 29, No. 7 (2019) 29, No. 6 (2019) 29, No. 5 (2019) 29, No. 4 (2019) 29, No. 3 (2019) 29, No. 2 (2019) 29, No. 1 (2019) 28, No. 10 (2018) 28, No. 9 (2018) 28, No. 8 (2018) 28, No. 7 (2018) 28, No. 6 (2018) 28, No. 5 (2018) 28, No. 4 (2018) 28, No. 2 (2018) 28, No. 1 (2018) 27, No. 8 (2017) 27, No. 7 (2017) 27, No. 6 (2017) 27, No. 5 (2017) 27, No. 4 (2017) 27, No. 3 (2017) 27, No. 2 (2017) 27, No. 1 (2017) 26, No. 8 (2016) 26, No. 7 (2016) 26, No. 6 (2016) 26, No. 5 (2016) 26, No. 4 (2016) 26, No. 3 (2016) 26, No. 2 (2016) 26, No. 1 (2016) 25, No. 8 (2015) 25, No. 7 (2015) 25, No. 6 (2015) 25, No. 5 (2015) 25, No. 4 (2015) 25, No. 3 (2015) 25, No. 2 (2015) 25, No. 1 (2015) 24, No. 6 (2014) 24, No. 5 (2014) 24, No. 4 (2014) 24, No. 3 (2014) 24, No. 2 (2014) 24, No. 1 (2014) 23, No. 6 (2013) 23, No. 5 (2013) 23, No. 4 (2013) 23, No. 3 (2013) 23, No. 2 (2013) 23, No. 1 (2013) 22, No. 6 (2012) 22, No. 5 (2012) 22, No. 4 (2012) 22, No. 3 (2012) 22, No. 2 (2012) 22, No. 1 (2012) 21, No. 6 (2011) 21, No. 5 (2011) 21, No. 4 (2011) 21, No. 3 (2011) 21, No. 2 (2011) 21, No. 1 (2011) 20, No. 6 (2010) 20, No. 5 (2010) ...and 104 more Volumes all top 5 Authors 15 Ehrig, Hartmut 12 Adámek, Jiří 12 Velebil, Jiří 11 Goubault-Larrecq, Jean 9 Cockett, J. Robin B. 9 Dezani-Ciancaglini, Mariangiola 9 Streicher, Thomas 8 Busi, Nadia 8 Longo, Giuseppe 8 Montanari, Ugo G. 7 Coquand, Thierry 7 Dal Lago, Ugo 7 Jacobs, Bart 7 Kurz, Alexander 7 Li, Qingguo 7 Orejas, Fernando 7 Sangiorgi, Davide 6 Abramsky, Samson 6 Berger, Ulrich 6 Birkedal, Lars 6 Bonchi, Filippo 6 Corradini, Andrea 6 Gorla, Daniele 6 Habel, Annegret 6 Milius, Stefan 6 Rutten, Jan J. M. M. 6 Zavattaro, Gianluigi 5 Ahrens, Benedikt 5 Awodey, Steve 5 Cardelli, Luca 5 Diaconescu, Răzvan 5 Došen, Kosta 5 Duval, Dominique 5 Ehrhard, Thomas 5 Ésik, Zoltán 5 Fiore, Marcelo P. 5 Gadducci, Fabio 5 Galmiche, Didier 5 Gay, Simon J. 5 Hasegawa, Masahito 5 Hofmann, Martin 5 Hötzel Escardó, Martín 5 Kanovich, Max Iosifovich 5 Møgelberg, Rasmus Ejlers 5 Petrić, Zoran 5 Spitters, Bas 5 Spreen, Dieter 5 Zucca, Elena 4 Aceto, Luca 4 Asperti, Andrea 4 Baldan, Paolo 4 Barthe, Gilles 4 Blute, Richard F. 4 Bruni, Roberto 4 Calude, Cristian S. 4 Costa, José Félix 4 Curien, Pierre-Louis 4 Di Cosmo, Roberto 4 Doberkat, Ernst-Erich 4 Dybjer, Peter 4 Felty, Amy P. 4 Fernández, Maribel 4 Fiadeiro, José Luiz 4 Fu, Yuxi 4 Geuvers, Jan Herman 4 Ghani, Neil 4 Girard, Jean-Yves 4 Goguen, Joseph Amadee 4 Golas, Ulrike 4 Guillermo, Mauricio 4 Heckel, Reiko 4 Honsell, Furio 4 Huth, Michael R. A. 4 Ingólfsdóttir, Anna 4 Keimel, Klaus 4 Kesner, Delia 4 Kissinger, Aleks 4 König, Barbara 4 Li, Angsheng 4 Luo, Zhaohui 4 Mazza, Damiano 4 Melliès, Paul-André 4 Meseguer Guaita, José 4 Nestmann, Uwe 4 Panangaden, Prakash 4 Pavlović, Duško 4 Pitts, Andrew M. 4 Plotkin, Gordon D. 4 Pym, David J. 4 Rozenberg, Grzegorz 4 Sannella, Donald T. 4 Sassone, Vladimiro 4 Schröder, Matthias 4 Scott, Philip J. 4 Seely, Robert A. G. 4 Selivanov, Viktor L’vovich 4 Silva, Alexandra 4 Simpson, Alex K. 4 Tsuiki, Hideki 4 Van den Berg, Benno ...and 1,394 more Authors all top 5 Fields 704 Computer science (68-XX) 534 Mathematical logic and foundations (03-XX) 276 Category theory; homological algebra (18-XX) 88 Order, lattices, ordered algebraic structures (06-XX) 61 General and overarching topics; collections (00-XX) 43 General topology (54-XX) 42 Quantum theory (81-XX) 26 General algebraic systems (08-XX) 20 Information and communication theory, circuits (94-XX) 18 Algebraic topology (55-XX) 18 Probability theory and stochastic processes (60-XX) 17 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 16 Combinatorics (05-XX) 12 Systems theory; control (93-XX) 10 Group theory and generalizations (20-XX) 10 Measure and integration (28-XX) 9 History and biography (01-XX) 9 Operations research, mathematical programming (90-XX) 9 Biology and other natural sciences (92-XX) 8 Statistical mechanics, structure of matter (82-XX) 7 Associative rings and algebras (16-XX) 7 Dynamical systems and ergodic theory (37-XX) 6 Functional analysis (46-XX) 6 Statistics (62-XX) 6 Numerical analysis (65-XX) 4 Commutative algebra (13-XX) 4 Mechanics of particles and systems (70-XX) 3 Real functions (26-XX) 2 Number theory (11-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Geometry (51-XX) 2 Global analysis, analysis on manifolds (58-XX) 1 Functions of a complex variable (30-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Difference and functional equations (39-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 Manifolds and cell complexes (57-XX) 1 Optics, electromagnetic theory (78-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 825 Publications have been cited 6,485 times in 4,566 Documents Cited by ▼ Year ▼ Functions as processes. Zbl 0773.03012Milner, Robin 112 1992 Towards a quantum programming language. Zbl 1085.68014Selinger, Peter 83 2004 Quantales, observational logic and process semantics. Zbl 0823.06011Abramsky, Samson; Vickers, Steven 79 1993 Typing and subtyping for mobile processes. Zbl 0861.68030Pierce, Benjamin; Sangiorgi, Davide 78 1996 Decoherence in quantum walks - a review. Zbl 1130.81325Kendon, Viv 73 2007 Locus solum: From the rules of logic to the logic of rules. Zbl 1051.03045Girard, Jean-Yves 71 2001 A new constructive logic: classical logic. Zbl 0752.03027Girard, Jean-Yves 69 1991 Reo: a channel-based coordination model for component composition. Zbl 1085.68552Arbab, Farhad 68 2004 Spaces of maximal points. Zbl 0985.54025Lawson, Jimmie 63 1997 A judgmental reconstruction of modal logic. Zbl 0997.03020Pfenning, Frank; Davies, Rowan 62 2001 A quantitative computational model for complete partial metric spaces via formal balls. Zbl 1172.06003Romaguera, Salvador; Valero, Oscar 60 2009 Comprehending monads. Zbl 0798.68040Wadler, Philip 60 1992 Correctness of high-level transformation systems relative to nested conditions. Zbl 1168.68022Habel, Annegret; Pennemann, Karl-Heinz 59 2009 Equational axioms for regular sets. Zbl 0796.68153Bloom, S. L.; Ésik, Z. 52 1993 On the bisimulation proof method. Zbl 0916.68057Sangiorgi, Davide 52 1998 Premonoidal categories and notions of computation. Zbl 0897.18002Power, John; Robinson, Edmund 52 1997 Finiteness spaces. Zbl 1084.03048Ehrhard, Thomas 50 2005 Distributing probability over non-determinism. Zbl 1093.18002Varacca, Daniele; Winskel, Glynn 48 2006 An approach to object semantics based on terminal co-algebras. Zbl 0854.18006Reichel, Horst 47 1995 \(*\)-autonomous categories and linear logic. Zbl 0777.18006Barr, Michael 46 1991 Control categories and duality: On the categorical semantics of the lambda-mu calculus. Zbl 0984.18003Selinger, Peter 39 2001 Differential categories. Zbl 1115.03092Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 38 2006 A new description of orthogonal bases. Zbl 1276.46016Coecke, Bob; Pavlovic, Dusko; Vicary, Jamie 38 2013 A lambda calculus for quantum computation with classical control. Zbl 1122.68033Selinger, Peter; Valiron, Benoit 38 2006 Parallelism and concurrency in high-level replacement systems. Zbl 0749.68045Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco 37 1991 Geometry of interaction and linear combinatory algebras. Zbl 1014.03056Abramsky, Samson; Haghverdi, Esfandiar; Scott, Philip 37 2002 Connected limits, familial representability and Artin glueing. Zbl 0849.18002Carboni, Aurelio; Johnstone, Peter 36 1995 Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca 35 2016 Representing control: A study of the CPS transformation. Zbl 0798.68102Danvy, Olivier; Filinski, Andrzej 34 1992 Univalence for inverse diagrams and homotopy canonicity. Zbl 1362.03008Shulman, Michael 33 2015 The semantics of BI and resource tableaux. Zbl 1145.03308Galmiche, D.; Méry, D.; Pym, D. 32 2005 A coinductive calculus of streams. Zbl 1068.68061Rutten, J. J. M. M. 32 2005 The structure of interlaced bilattices. Zbl 0856.06005Avron, A. 31 1996 Linear time computable problems and first-order descriptions. Zbl 0862.68056Seese, Detlef 31 1996 Partial metrisability of continuous posets. Zbl 1103.06004Waszkiewicz, Pawel 31 2006 Iterative algebras at work. Zbl 1112.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 30 2006 Parametric polymorphism and operational equivalence. Zbl 0955.68024Pitts, Andrew M. 30 2000 Linear logic propositions as session types. Zbl 1361.68162Caires, Luís; Pfenning, Frank; Toninho, Bernardo 29 2016 Introduction to distributive categories. Zbl 0793.18006Cockett, J. R. B. 28 1993 On the foundations of final coalgebra semantics: Non-well-founded sets, partial orders, metric spaces. Zbl 0917.68140Turi, Daniele; Rutten, Jan 28 1998 A categorical manifesto. Zbl 0747.18001Goguen, Joseph A. 27 1991 Domain theoretic characterisations of quasi-metric completeness in terms of formal balls. Zbl 1193.54016Romaguera, Salvador; Valero, Oscar 27 2010 Quantum programming languages: survey and bibliography. Zbl 1122.68021Gay, Simon J. 26 2006 An experimental library of formalized mathematics based on the univalent foundations. Zbl 1361.68192Voevodsky, Vladimir 26 2015 Constructive natural deduction and its “\(\omega\)-set” interpretation. Zbl 0756.03028Longo, Giuseppe; Moggi, Eugenio 25 1991 A logical approach to abstract algebra. Zbl 1118.03059Coquand, Thierry; Lombardi, Henri 25 2006 LQP: the dynamic logic of quantum information. Zbl 1103.03031Baltag, Alexandru; Smets, Sonja 25 2006 Coherence of subsumption, minimum typing and type-checking in \(F_ \leq\). Zbl 0765.03008Curien, Pierre-Louis; Ghelli, Giorgio 24 1992 A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes. Zbl 0857.68042Hirshfeld, Yoram; Jerrum, Mark; Moller, Faron 24 1996 On the semantics of place/transition Petri nets. Zbl 0876.68072Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 24 1997 Unique decomposition categories, geometry of interaction and combinatory logic. Zbl 0951.03062Haghverdi, Esfandiar 24 2000 Well-filtered spaces and their dcpo models. Zbl 1378.06005Xi, Xiaoyong; Zhao, Dongsheng 23 2017 The algebraic lambda calculus. Zbl 1186.03025Vaux, Lionel 23 2009 Quantum weakest preconditions. Zbl 1122.68058D’Hondt, Ellie; Panangaden, Prakash 23 2006 Double-pushout graph transformation revisited. Zbl 0987.18005Habel, Annegret; Müller, Jürgen; Plump, Detlef 23 2001 Tripos theory in retrospect. Zbl 1005.18005Pitts, Andrew M. 23 2002 On Köthe sequence spaces and linear logic. Zbl 1025.03066Ehrhard, Thomas 23 2002 Modular correspondence between dependent type theories and categories including pretopoi and topoi. Zbl 1093.03042Maietti, Maria Emilia 22 2005 An Oxford survey of order sorted algebra. Zbl 0939.68710Goguen, Joseph; Diaconescu, Răzvan 22 1994 Type-based termination of recursive definitions. Zbl 1054.68027Barthe, G.; Frade, M. J.; Giménez, E.; Pinto, L.; Uustalu, T. 22 2004 Equational properties of mobile ambients. Zbl 1085.68099Gordon, Andrew D.; Cardelli, Luca 22 2003 \(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. Zbl 1342.68176Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando 22 2014 Hypercoherences: A strongly stable model of linear logic. Zbl 0802.68079Ehrhard, Thomas 21 1993 Demonic operators and monotype factors. Zbl 0797.68114Backhouse, Roland; van der Woude, Jaap 21 1993 Restriction categories. III: Colimits, partial limits and extensivity. Zbl 1123.18003Cockett, Robin; Lack, Stephen 21 2007 Brouwer’s fixed-point theorem in real-cohesive homotopy type theory. Zbl 1390.03014Shulman, Michael 21 2018 Univalent categories and the Rezk completion. Zbl 1362.18003Ahrens, Benedikt; Kapulkin, Krzysztof; Shulman, Michael 21 2015 Resource convertibility and ordered commutative monoids. Zbl 1410.91308Fritz, Tobias 20 2017 Bitopological duality for distributive lattices and Heyting algebras. Zbl 1193.06012Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander 20 2010 Shannon entropy: a rigorous notion at the crossroads between probability, information theory, dynamical systems and statistical physics. Zbl 1342.94059Lesne, Annick 20 2014 Profunctors, open maps and bisimulation. Zbl 1169.68537Cattani, Gian Luca; Winskel, Glynn 19 2005 The space of formal balls and models of quasi-metric spaces. Zbl 1168.54012Ali-Akbari, M.; Honari, B.; Pourmahdian, M.; Rezaii, M. M. 19 2009 Temporal algebra. Zbl 0917.03011von Karger, Burghard 19 1998 On asynchrony in name-passing calculi. Zbl 1093.68026Merro, Massimo; Sangiorgi, Davide 19 2004 Wadge-like reducibilities on arbitrary quasi-Polish spaces. Zbl 1362.03042Motto Ros, Luca; Schlicht, Philipp; Selivanov, Victor 19 2015 Formalization of real analysis: a survey of proof assistants and libraries. Zbl 1364.68327Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume 18 2016 Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Zbl 1107.68055Ehrig, Hartmut; König, Barbara 18 2006 Borel ranks and Wadge degrees of context free \(\omega\)-languages. Zbl 1121.03047Finkel, Olivier 18 2006 Intuitionistic model constructions and normalization proofs. Zbl 0883.03009Coquand, Thierry; Dybjer, Peter 18 1997 Secure information flow by self-composition. Zbl 1252.68072Barthe, Gilles; D’Argenio, Pedro R.; Rezk, Tamara 18 2011 Statistical properties of simple types. Zbl 0966.03016Moczurad, M.; Tyszkiewicz, J.; Zaionc, M. 18 2000 On the size complexity of universal accepting hybrid networks of evolutionary processors. Zbl 1125.68053Manea, Florin; Martin-Vide, Carlos; Mitrana, Victor 18 2007 The temporal logic of coalgebras via Galois algebras. Zbl 1030.03017Jacobs, Bart 18 2002 Execution time of \(\lambda\)-terms via denotational semantics and intersection types. Zbl 1475.03073De Carvalho, Daniel 18 2018 Selection functions, bar recursion and backward induction. Zbl 1207.03072Escardó, Martín; Oliva, Paulo 18 2010 When Scott is weak on the top. Zbl 0917.28013Edalat, Abbas 17 1997 CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verifications of termination certificates. Zbl 1223.68101Blanqui, Frédéric; Koprowski, Adam 17 2011 Continuous domains as formal spaces. Zbl 0994.06005Negri, Sara 17 2002 Generalised coinduction. Zbl 1025.18002Bartels, Falk 17 2003 Polygraphs of finite derivation type. Zbl 1396.18004Guiraud, Yves; Malbos, Philippe 17 2018 From Petri nets to linear logic. Zbl 0746.03057Martí-Oliet, Narciso; Meseguer, José 16 1991 Provable isomorphisms of types. Zbl 0763.03011Bruce, Kim B.; Di Cosmo, Roberto; Longo, Giuseppe 16 1992 Algebra and logic for resource-based systems modelling. Zbl 1185.68441Collinson, Matthew; Pym, David 16 2009 Operations on records. Zbl 0727.68020Cardelli, Luca; Mitchell, John C. 16 1991 Geometry and concurrency: A user’s guide. Zbl 0956.68517Goubault, Eric 16 2000 Closed reduction: explicit substitutions without \(\alpha\)-conversion. Zbl 1129.68409Fernández, M.; Mackie, I.; Sinot, F.-R. 16 2005 Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058Bruni, Roberto; Meseguer, José; Montanari, Ugo 16 2002 Free compact 2-categories. Zbl 1151.18007Preller, Anne; Lambek, Joachim 16 2007 Constraint satisfaction algorithms for graph pattern matching. Zbl 1009.68103Larrosa, Javier; Valiente, Gabriel 16 2002 On varieties and covarieties in a category. Zbl 1041.18007Adámek, Jiří; Porst, Hans-E. 16 2003 Confluence of algebraic rewriting systems. Zbl 1512.68126Chenavier, Cyrille; Dupont, Benjamin; Malbos, Philippe 4 2022 String diagram rewrite theory. II: Rewriting with symmetric monoidal structure. Zbl 1506.68042Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio 3 2022 Proof-relevance in Bishop-style constructive mathematics. Zbl 07630468Petrakis, Iosif 2 2022 A categorical view of varieties of ordered algebras. Zbl 1506.18009Adámek, J.; Dostál, M.; Velebil, J. 2 2022 String diagram rewrite theory. III: Confluence with and without Frobenius. Zbl 1506.68043Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 2 2022 Quantum circuits generating four-qubit maximally entangled states. Zbl 1515.81068Bataille, Marc 1 2022 Preserving consistency in geometric modeling with graph transformations. Zbl 1517.68152Arnould, Agnès; Belhaouari, Hakim; Bellet, Thomas; Le Gall, Pascale; Pascual, Romain 1 2022 The costructure-cosemantics adjunction for comodels for computational effects. Zbl 1506.68051Garner, Richard 1 2022 Bisimulation as a logical relation. Zbl 1506.68060Hermida, Claudio; Reddy, Uday; Robinson, Edmund; Santamaria, Alessio 1 2022 An algebraic representation of the fixed-point closure of \(^*\)-continuous Kleene algebras – a categorical Chomsky-Schützenberger theorem. Zbl 07650539Leiß, Hans 1 2022 Implicit computation complexity in higher-order programming languages. A survey in memory of Martin Hofmann. Zbl 1517.68075Dal Lago, U. 1 2022 Type-based analysis of logarithmic amortised complexity. Zbl 1517.68070Hofmann, Martin; Leutgeb, Lorenz; Obwaller, David; Moser, Georg; Zuleger, Florian 1 2022 Detection and diagnosis of deviations in distributed systems of autonomous agents. Zbl 1512.68159Nigam, Vivek; Kim, Minyoung; Mason, Ian; Talcott, Carolyn 1 2022 Syntax and models of Cartesian cubical type theory. Zbl 07460116Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R. 3 2021 On Church’s thesis in cubical assemblies. Zbl 07630473Swan, Andrew W.; Uemura, Taichi 3 2021 Products and projective limits of continuous valuations on \(T_0\) spaces. Zbl 1481.54009Goubault-Larrecq, Jean 2 2021 Freely adjoining monoidal duals. Zbl 1495.18019Coulembier, Kevin; Street, Ross; Van den Bergh, Michel 2 2021 Languages of higher-dimensional automata. Zbl 1495.68119Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof 2 2021 Computing with continuous objects: a uniform co-inductive approach. Zbl 07408499Spreen, Dieter 1 2021 Strictifying and taming directed paths in higher dimensional automata. Zbl 1474.68204Raussen, Martin 1 2021 Finitary monads on the category of posets. Zbl 1495.18007Adámek, Jiří; Ford, Chase; Milius, Stefan; Schröder, Lutz 1 2021 Modal descent. Zbl 1481.18029Cherubini, Felix; Rijke, Egbert 1 2021 Quasi-Nelson algebras and fragments. Zbl 07460118Rivieccio, Umberto; Jansana, Ramon 1 2021 Elementary fibrations of enriched groupoids. Zbl 07547338Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe 1 2021 Constructive sheaf models of type theory. Zbl 07547339Coquand, Thierry; Ruch, Fabian; Sattler, Christian 1 2021 Convolution and concurrency. Zbl 1490.68139Cranch, James; Doherty, Simon; Struth, Georg 1 2021 Synthetic topology in homotopy type theory for probabilistic programming. Zbl 1517.68072Bidlingmaier, Martin E.; Faissole, Florian; Spitters, Bas 1 2021 Metric monads. Zbl 1497.18003Rosický, Jiří 1 2021 SMT-based verification of data-aware processes: a model-theoretic approach. Zbl 1495.68129Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey 11 2020 Modal dependent type theory and dependent right adjoints. Zbl 1479.03011Birkedal, Lars; Clouston, Ranald; Mannaa, Bassel; Ejlers Møgelberg, Rasmus; Pitts, Andrew M.; Spitters, Bas 6 2020 Implicative algebras: a new foundation for realizability and forcing. Zbl 1498.03043Miquel, Alexandre 5 2020 Rewriting with generalized nominal unification. Zbl 1495.68115Kutz, Yunus; Schmidt-Schauß, Manfred 4 2020 A representation of proper BC domains based on conjunctive sequent calculi. Zbl 1478.03078Wang, Longchun; Li, Qingguo 4 2020 From Kruskal’s theorem to Friedman’s gap condition. Zbl 07348344Freund, Anton 3 2020 Open Petri nets. Zbl 1457.68177Baez, John C.; Master, Jade 3 2020 Denotational semantics for guarded dependent type theory. Zbl 1495.68127Bizjak, Aleš; Ejlers Møgelberg, Rasmus 3 2020 Cofree coalgebras and differential linear logic. Zbl 1495.03075Clift, James; Murfet, Daniel 3 2020 Nilpotent types and fracture squares in homotopy type theory. Zbl 1498.18038Scoccola, Luis 3 2020 Noncommutative network models. Zbl 1442.18034Moeller, Joe 3 2020 Monoidal-closed categories of tree automata. Zbl 1435.68183Riba, Colin 3 2020 Preserving cardinals and weak forms of Zorn’s lemma in realizability models. Zbl 1486.03080Fontanella, Laura; Geoffroy, Guillaume 2 2020 Petri nets based on Lawvere theories. Zbl 1492.68097Master, Jade 2 2020 Witness algebra and anyon braiding. Zbl 1495.81024Blass, Andreas; Gurevich, Yuri 2 2020 Computable analysis with applications to dynamic systems. Zbl 1478.03072Collins, Pieter 2 2020 Dynamic game semantics. Zbl 1495.68128Yamada, Norihiro; Abramsky, Samson 1 2020 A unified approach to some non-Hausdorff topological properties. Zbl 1476.54031Li, Qingguo; Yuan, Zhenzhu; Zhao, Dongsheng 1 2020 Forward analysis for WSTS. I: Completions. Zbl 1491.68122Finkel, Alain; Goubault-Larrecq, Jean 1 2020 Extensions of unification modulo ACUI. Zbl 1495.68237Baader, Franz; Marantidis, Pavlos; Mottet, Antoine; Okhotin, Alexander 1 2020 Free Heyting algebra endomorphisms: Ruitenburg’s theorem and beyond. Zbl 07283030Ghilardi, Silvio; Santocanale, Luigi 1 2020 Bounded ACh unification. Zbl 1495.68111Eeralla, Ajay Kumar; Lynch, Christopher 1 2020 Computing knowledge in equational extensions of subterm convergent theories. Zbl 1495.68113Erbatur, Serdar; Marshall, Andrew M.; Ringeissen, Christophe 1 2020 Convenient antiderivatives for differential linear categories. Zbl 1497.18027Pacaud Lemay, Jean-Simon 1 2020 Quantifiers on languages and codensity monads. Zbl 1495.68145Gehrke, Mai; Petrişan, Daniela; Reggio, Luca 1 2020 Primitive recursion in the abstract. Zbl 1435.68064Leivant, Daniel; Marion, Jean-Yves 1 2020 A channel-based perspective on conjugate priors. Zbl 1442.62054Jacobs, B. 1 2020 Multisets, heaps, bags, families: what is a multiset? Zbl 1478.03075Jürgensen, Helmut 1 2020 A cubical Squier’s theorem. Zbl 1436.18022Lucas, Maxime 1 2020 Disintegration and Bayesian inversion via string diagrams. Zbl 1452.18008Cho, Kenta; Jacobs, Bart 9 2019 Subexponentials in non-commutative linear logic. Zbl 1456.03099Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre 8 2019 Strategic port graph rewriting: an interactive modelling framework. Zbl 1417.68076Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno 8 2019 Integral categories and calculus categories. Zbl 1408.18012Cockett, J. R. B.; Lemay, J.-S. 7 2019 A deterministic rewrite system for the probabilistic \(\lambda\)-calculus. Zbl 1434.68091Leventis, Thomas 6 2019 Expansion trees with cut. Zbl 1456.03085Aschieri, Federico; Hetzl, Stefan; Weller, Daniel 5 2019 Quotienting the delay monad by weak bisimilarity. Zbl 1407.68306Chapman, James; Uustalu, Tarmo; Veltri, Niccolò 5 2019 A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras. Zbl 1422.68227Hedges, Jules; Sadrzadeh, Mehrnoosh 5 2019 A case study in programming coinductive proofs: Howe’s method. Zbl 1430.68418Momigliano, Alberto; Pientka, Brigitte; Thibodeau, David 4 2019 Limits in categories of Vietoris coalgebras. Zbl 1417.68108Hofmann, Dirk; Neves, Renato; Nora, Pedro 4 2019 A homotopy-theoretic model of function extensionality in the effective topos. Zbl 1422.18005Frumin, Dan; van den Berg, Benno 4 2019 Constructing weak simulations from linear implications for processes with private names. Zbl 1447.68008Horne, Ross; Tiu, Alwen 3 2019 Implementing type theory in higher order constraint logic programming. Zbl 1430.68025Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico 2 2019 Hybrid linear logic, revisited. Zbl 1456.03095Chaudhuri, Kaustuv; Despeyroux, Joëlle; Olarte, Carlos; Pimentel, Elaine 2 2019 Converging from branching to linear metrics on Markov chains. Zbl 1407.68278Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 2 2019 Reasoning about knowledge and messages in asynchronous multi-agent systems. Zbl 1407.68471Knight, Sophia; Maubert, Bastien; Schwarzentruber, François 2 2019 Optimal enforcement of (timed) properties with uncontrollable events. Zbl 1407.68299Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Jéron, Thierry; Marchand, Hervé 2 2019 Probabilistic logic over equations and domain restrictions. Zbl 1456.03045Mordido, Andreia; Caleiro, Carlos 2 2019 Categorical models of the differential \(\lambda\)-calculus. Zbl 1468.03019Cockett, Robin; Gallagher, Jonathan 2 2019 Identity types and weak factorization systems in Cauchy complete categories. Zbl 1468.03017North, Paige Randall 2 2019 Deep inference and expansion trees for second-order multiplicative linear logic. Zbl 1456.03107Straßburger, Lutz 1 2019 Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search. Zbl 1456.03024Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2019 A general proof certification framework for modal logic. Zbl 1430.68416Libal, Tomer; Volpe, Marco 1 2019 A resource aware semantics for a focused intuitionistic calculus. Zbl 1407.68273Kesner, Delia; Ventura, Daniel 1 2019 On Banach spaces of sequences and free linear logic exponential modality. Zbl 1456.03106Slavnov, Sergey 1 2019 Nonflatness and totality. Zbl 1410.68214Karádais, Basil A. 1 2019 The quantum walk search algorithm: factors affecting efficiency. Zbl 1411.68044Lovett, Neil B.; Everitt, Matthew; Heath, Robert M.; Kendon, Viv 1 2019 Realizability in ordered combinatory algebras with adjunction. Zbl 1456.03025Ferrer Santos, Walter; Guillermo, Mauricio; Malherbe, Octavio 1 2019 Automorphisms of types in certain type theories and representation of finite groups. Zbl 1456.03028Soloviev, Sergei 1 2019 The computational power of timed P systems with active membranes using promoters. Zbl 1417.68043Luo, Yueguo; Tan, Haijun; Zhang, Ying; Jiang, Yun 1 2019 Syllogistic logic with “most”. Zbl 1456.03021Endrullis, Jörg; Moss, Lawrence S. 1 2019 A public announcement separation logic. Zbl 1456.03030Courtault, J. R.; van Ditmarsch, H.; Galmiche, D. 1 2019 The category of implicative algebras and realizability. Zbl 1468.03084Ferrer Santos, Walter; Malherbe, Octavio 1 2019 Singular value automata and approximate minimization. Zbl 1434.68227Balle, Borja; Panangaden, Prakash; Precup, Doina 1 2019 Brouwer’s fixed-point theorem in real-cohesive homotopy type theory. Zbl 1390.03014Shulman, Michael 21 2018 Execution time of \(\lambda\)-terms via denotational semantics and intersection types. Zbl 1475.03073De Carvalho, Daniel 18 2018 Polygraphs of finite derivation type. Zbl 1396.18004Guiraud, Yves; Malbos, Philippe 17 2018 An introduction to differential linear logic: proof-nets, models and antiderivatives. Zbl 1456.03097Ehrhard, Thomas 16 2018 Natural models of homotopy type theory. Zbl 1456.03023Awodey, Steve 11 2018 A quantum algorithm to approximate the linear structures of Boolean functions. Zbl 1382.68082Li, Hongwei; Yang, Li 6 2018 An explicit formula for the free exponential modality of linear logic. Zbl 1456.03102Melliès, Paul-André; Tabareau, Nicolas; Tasson, Christine 5 2018 Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Zbl 1400.68194Felty, Amy; Momigliano, Alberto; Pientka, Brigitte 4 2018 Mackey-complete spaces and power series – a topological model of differential linear logic. Zbl 1456.03100Kerjean, Marie; Tasson, Christine 4 2018 ...and 725 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 4,215 Authors 41 Milius, Stefan 39 Adámek, Jiří 30 Gadducci, Fabio 30 Yoshida, Nobuko 29 Cockett, J. Robin B. 29 Jacobs, Bart 29 Sangiorgi, Davide 27 Baldan, Paolo 27 Bonchi, Filippo 27 Corradini, Andrea 27 Ehrig, Hartmut 26 Dezani-Ciancaglini, Mariangiola 26 Ésik, Zoltán 24 Montanari, Ugo G. 21 Hötzel Escardó, Martín 21 Konno, Norio 21 Schröder, Lutz 21 Velebil, Jiří 20 Dal Lago, Ugo 20 Rutten, Jan J. M. M. 20 Silva, Alexandra 19 Diaconescu, Răzvan 19 Ehrhard, Thomas 19 König, Barbara 19 Pérez, Jorge A. 19 Xi, Xiaoyong 18 Pym, David J. 18 Winskel, Glynn 18 Zhao, Dongsheng 17 Bruni, Roberto 17 Fu, Yuxi 17 Kesner, Delia 17 Power, John 17 Romaguera Bonilla, Salvador 16 Abel, Andreas M. 16 Birkedal, Lars 16 Coquand, Thierry 16 Orejas, Fernando 16 Selivanov, Viktor L’vovich 15 Aceto, Luca 15 Arbab, Farhad 15 Ghani, Neil 15 Hyland, J. Martin E. 15 Kanovich, Max Iosifovich 15 Li, Qingguo 15 Pfenning, Frank 15 Rot, Jurriaan 15 Sadrzadeh, Mehrnoosh 15 Scott, Philip J. 14 Blute, Richard F. 14 Finkel, Olivier 14 Goubault-Larrecq, Jean 14 Hennessy, Matthew C. B. 14 Kurz, Alexander 14 Scedrov, Andre 14 Schmidt-Schauß, Manfred 14 Straßburger, Lutz 14 Taentzer, Gabriele 14 Uustalu, Tarmo 14 Xu, Xiaoquan 13 Danos, Vincent 13 Díaz-Caro, Alejandro 13 Edalat, Abbas 13 Fernández, Maribel 13 Horne, Ross 13 Keimel, Klaus 13 Manzonetto, Giulio 13 Miller, Dale Allen 13 Mossakowski, Till 13 Panangaden, Prakash 13 Schuster, Peter Michael 13 Valero, Oscar 13 Vickers, Steven 13 Zanasi, Fabio 12 Ahrens, Benedikt 12 Bergstra, Jan A. 12 Bonsangue, Marcello Maria 12 Deng, Yuxin 12 Duan, Zhenhua 12 Duval, Dominique 12 Fahrenberg, Uli 12 Fiore, Marcelo P. 12 Lambers, Leen 12 Legay, Axel 12 Maietti, Maria Emilia 12 Meseguer Guaita, José 12 Pous, Damien 12 Sobociński, Paweł 12 Ying, Mingsheng 12 Zorzi, Margherita 11 Abramsky, Samson 11 Baier, Christel 11 Bucciarelli, Antonio 11 Coecke, Bob 11 Danvy, Olivier 11 Feng, Yuan 11 Garner, Richard 11 Hirschkoff, Daniel 11 Hofmann, Dirk 11 Ingólfsdóttir, Anna ...and 4,115 more Authors all top 5 Cited in 324 Journals 565 Theoretical Computer Science 252 MSCS. Mathematical Structures in Computer Science 222 Information and Computation 164 Logical Methods in Computer Science 157 Annals of Pure and Applied Logic 93 Journal of Logical and Algebraic Methods in Programming 85 Journal of Pure and Applied Algebra 64 Topology and its Applications 62 Journal of Functional Programming 59 Applied Categorical Structures 54 Quantum Information Processing 53 Journal of Automated Reasoning 51 Formal Aspects of Computing 44 The Journal of Symbolic Logic 40 The Journal of Logic and Algebraic Programming 39 Acta Informatica 35 Studia Logica 32 Theory and Applications of Categories 30 Information Processing Letters 29 Science of Computer Programming 28 International Journal of Theoretical Physics 27 Fuzzy Sets and Systems 25 RAIRO. Theoretical Informatics and Applications 23 Journal of Computer and System Sciences 23 Archive for Mathematical Logic 21 Journal of Applied Logic 20 Algebra Universalis 19 Soft Computing 18 Logica Universalis 17 Mathematical Logic Quarterly (MLQ) 17 The Bulletin of Symbolic Logic 17 Higher-Order and Symbolic Computation 15 ACM Transactions on Computational Logic 15 Fixed Point Theory and Applications 14 Journal of Algebra 14 Journal of Philosophical Logic 14 Semigroup Forum 14 International Journal of Foundations of Computer Science 14 Theory of Computing Systems 14 Journal of Physics A: Mathematical and Theoretical 13 Synthese 13 Natural Computing 11 Information Sciences 11 Journal of Symbolic Computation 10 Discrete Applied Mathematics 10 Advances in Mathematics 10 Journal of Logic, Language and Information 10 Annals of Mathematics and Artificial Intelligence 9 International Journal of Approximate Reasoning 9 Journal of Applied Non-Classical Logics 9 Sibirskie Èlektronnye Matematicheskie Izvestiya 8 Applied Mathematics and Computation 8 Journal of Computer Science and Technology 8 International Journal of Algebra and Computation 8 Fundamenta Informaticae 7 Journal of Statistical Physics 7 Cahiers de Topologie et Géométrie Différentielle Catégoriques 7 Distributed Computing 7 Higher Structures 6 Communications in Algebra 6 Communications in Mathematical Physics 6 Journal of Mathematical Physics 6 Physica A 6 Automatica 6 Demonstratio Mathematica 6 Notre Dame Journal of Formal Logic 6 Order 6 New Generation Computing 6 International Journal of Computer Mathematics 6 Linear Algebra and its Applications 6 Abstract and Applied Analysis 6 The Review of Symbolic Logic 6 RAIRO. Theoretical Informatics and Applications 5 Physics Letters. A 5 International Journal of Mathematics and Mathematical Sciences 5 Proceedings of the American Mathematical Society 5 Quaestiones Mathematicae 5 Journal of Algebraic Combinatorics 5 Journal of Mathematical Sciences (New York) 5 Diagrammes 5 The Electronic Journal of Combinatorics 5 Mathematical Problems in Engineering 5 Computer Languages, Systems & Structures 5 Cahiers de Topologie et Géométrie Différentielle Catégoriques 5 Journal of Homotopy and Related Structures 5 Computability 5 Computer Science Review 4 Mathematical Proceedings of the Cambridge Philosophical Society 4 Fundamenta Mathematicae 4 History and Philosophy of Logic 4 Physica D 4 Discrete Event Dynamic Systems 4 Bulletin of the American Mathematical Society. New Series 4 RAIRO. Informatique Théorique et Applications 4 Celestial Mechanics and Dynamical Astronomy 4 Formal Methods in System Design 4 Topology Proceedings 4 Journal of Combinatorial Optimization 4 Interdisciplinary Information Sciences (IIS) 4 Mathematics in Computer Science ...and 224 more Journals all top 5 Cited in 55 Fields 2,923 Computer science (68-XX) 1,744 Mathematical logic and foundations (03-XX) 876 Category theory; homological algebra (18-XX) 346 Order, lattices, ordered algebraic structures (06-XX) 333 Quantum theory (81-XX) 264 General topology (54-XX) 130 Combinatorics (05-XX) 104 General algebraic systems (08-XX) 91 Algebraic topology (55-XX) 91 Probability theory and stochastic processes (60-XX) 86 Information and communication theory, circuits (94-XX) 72 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 64 Biology and other natural sciences (92-XX) 62 Group theory and generalizations (20-XX) 55 Associative rings and algebras (16-XX) 38 Statistical mechanics, structure of matter (82-XX) 33 Functional analysis (46-XX) 29 Commutative algebra (13-XX) 28 Operator theory (47-XX) 27 Operations research, mathematical programming (90-XX) 26 History and biography (01-XX) 26 Systems theory; control (93-XX) 25 General and overarching topics; collections (00-XX) 25 Dynamical systems and ergodic theory (37-XX) 24 Numerical analysis (65-XX) 21 Measure and integration (28-XX) 20 Statistics (62-XX) 16 Real functions (26-XX) 15 Nonassociative rings and algebras (17-XX) 14 Topological groups, Lie groups (22-XX) 13 Algebraic geometry (14-XX) 12 Linear and multilinear algebra; matrix theory (15-XX) 12 Manifolds and cell complexes (57-XX) 11 Field theory and polynomials (12-XX) 9 Geometry (51-XX) 9 Relativity and gravitational theory (83-XX) 8 Number theory (11-XX) 8 Convex and discrete geometry (52-XX) 8 Global analysis, analysis on manifolds (58-XX) 7 Ordinary differential equations (34-XX) 7 Mechanics of particles and systems (70-XX) 6 Partial differential equations (35-XX) 5 \(K\)-theory (19-XX) 5 Calculus of variations and optimal control; optimization (49-XX) 5 Mathematics education (97-XX) 4 Differential geometry (53-XX) 3 Classical thermodynamics, heat transfer (80-XX) 2 Difference and functional equations (39-XX) 1 Functions of a complex variable (30-XX) 1 Special functions (33-XX) 1 Sequences, series, summability (40-XX) 1 Integral equations (45-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) 1 Geophysics (86-XX) Citations by Year