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