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,209 Publications (since 1991) References Indexed: 828 Publications with 22,454 References. all top 5 Latest Issues 34, No. 7 (2024) 34, No. 6 (2024) 34, No. 5 (2024) 34, No. 4 (2024) 34, No. 3 (2024) 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) ...and 120 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 Lawson, Jimmie Don 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 ...and 1,497 more Authors all top 5 Fields 765 Computer science (68-XX) 536 Mathematical logic and foundations (03-XX) 280 Category theory; homological algebra (18-XX) 89 Order, lattices, ordered algebraic structures (06-XX) 65 General and overarching topics; collections (00-XX) 44 General topology (54-XX) 43 Quantum theory (81-XX) 26 General algebraic systems (08-XX) 21 Algebraic topology (55-XX) 20 Information and communication theory, circuits (94-XX) 18 Probability theory and stochastic processes (60-XX) 17 Combinatorics (05-XX) 17 Game theory, economics, finance, and other social and behavioral sciences (91-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 886 Publications have been cited 7,785 times in 5,437 Documents Cited by ▼ Year ▼ Functions as processes. Zbl 0773.03012 Milner, Robin 134 1992 Towards a quantum programming language. Zbl 1085.68014 Selinger, Peter 103 2004 A judgmental reconstruction of modal logic. Zbl 0997.03020 Pfenning, Frank; Davies, Rowan 92 2001 Typing and subtyping for mobile processes. Zbl 0861.68030 Pierce, Benjamin; Sangiorgi, Davide 89 1996 Decoherence in quantum walks - a review. Zbl 1130.81325 Kendon, Viv 87 2007 Quantales, observational logic and process semantics. Zbl 0823.06011 Abramsky, Samson; Vickers, Steven 86 1993 Locus solum: From the rules of logic to the logic of rules. Zbl 1051.03045 Girard, Jean-Yves 80 2001 A new constructive logic: classical logic. Zbl 0752.03027 Girard, Jean-Yves 80 1991 Correctness of high-level transformation systems relative to nested conditions. Zbl 1168.68022 Habel, Annegret; Pennemann, Karl-Heinz 75 2009 Reo: a channel-based coordination model for component composition. Zbl 1085.68552 Arbab, Farhad 75 2004 Premonoidal categories and notions of computation. Zbl 0897.18002 Power, John; Robinson, Edmund 67 1997 Comprehending monads. Zbl 0798.68040 Wadler, Philip 67 1992 Spaces of maximal points. Zbl 0985.54025 Lawson, Jimmie 66 1997 A quantitative computational model for complete partial metric spaces via formal balls. Zbl 1172.06003 Romaguera, Salvador; Valero, Oscar 64 2009 On the bisimulation proof method. Zbl 0916.68057 Sangiorgi, Davide 61 1998 Finiteness spaces. Zbl 1084.03048 Ehrhard, Thomas 60 2005 Distributing probability over non-determinism. Zbl 1093.18002 Varacca, Daniele; Winskel, Glynn 57 2006 Equational axioms for regular sets. Zbl 0796.68153 Bloom, S. L.; Ésik, Z. 53 1993 Control categories and duality: On the categorical semantics of the lambda-mu calculus. Zbl 0984.18003 Selinger, Peter 49 2001 \(*\)-autonomous categories and linear logic. Zbl 0777.18006 Barr, Michael 49 1991 Comparing the expressive power of the synchronous and asynchronous \(\pi\)-calculi. Zbl 07920226 Palamidessi, Catuscia 49 2003 An approach to object semantics based on terminal co-algebras. Zbl 0854.18006 Reichel, Horst 48 1995 Representing control: A study of the CPS transformation. Zbl 0798.68102 Danvy, Olivier; Filinski, Andrzej 48 1992 A new description of orthogonal bases. Zbl 1276.46016 Coecke, Bob; Pavlovic, Dusko; Vicary, Jamie 48 2013 A lambda calculus for quantum computation with classical control. Zbl 1122.68033 Selinger, Peter; Valiron, Benoit 47 2006 Connected limits, familial representability and Artin glueing. Zbl 0849.18002 Carboni, Aurelio; Johnstone, Peter 46 1995 Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca 46 2016 Differential categories. Zbl 1115.03092 Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 45 2006 Geometry of interaction and linear combinatory algebras. Zbl 1014.03056 Abramsky, Samson; Haghverdi, Esfandiar; Scott, Philip 44 2002 Univalence for inverse diagrams and homotopy canonicity. Zbl 1362.03008 Shulman, Michael 44 2015 Linear time computable problems and first-order descriptions. Zbl 0862.68056 Seese, Detlef 43 1996 Linear logic propositions as session types. Zbl 1361.68162 Caires, Luís; Pfenning, Frank; Toninho, Bernardo 42 2016 Parametric polymorphism and operational equivalence. Zbl 0955.68024 Pitts, Andrew M. 41 2000 Parallelism and concurrency in high-level replacement systems. Zbl 0749.68045 Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco 41 1991 A coinductive calculus of streams. Zbl 1068.68061 Rutten, J. J. M. M. 39 2005 The semantics of BI and resource tableaux. Zbl 1145.03308 Galmiche, D.; Méry, D.; Pym, D. 37 2005 Partial metrisability of continuous posets. Zbl 1103.06004 Waszkiewicz, Pawel 35 2006 Iterative algebras at work. Zbl 1112.18005 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 32 2006 Secure information flow by self-composition. Zbl 1252.68072 Barthe, Gilles; D’Argenio, Pedro R.; Rezk, Tamara 32 2011 Brouwer’s fixed-point theorem in real-cohesive homotopy type theory. Zbl 1390.03014 Shulman, Michael 32 2018 LQP: the dynamic logic of quantum information. Zbl 1103.03031 Baltag, Alexandru; Smets, Sonja 31 2006 On the foundations of final coalgebra semantics: Non-well-founded sets, partial orders, metric spaces. Zbl 0917.68140 Turi, Daniele; Rutten, Jan 31 1998 The structure of interlaced bilattices. Zbl 0856.06005 Avron, A. 30 1996 Quantum programming languages: survey and bibliography. Zbl 1122.68021 Gay, Simon J. 30 2006 Introduction to distributive categories. Zbl 0793.18006 Cockett, J. R. B. 30 1993 Double-pushout graph transformation revisited. Zbl 0987.18005 Habel, Annegret; Müller, Jürgen; Plump, Detlef 30 2001 An experimental library of formalized mathematics based on the univalent foundations. Zbl 1361.68192 Voevodsky, Vladimir 30 2015 On Köthe sequence spaces and linear logic. Zbl 1025.03066 Ehrhard, Thomas 29 2002 Domain theoretic characterisations of quasi-metric completeness in terms of formal balls. Zbl 1193.54016 Romaguera, Salvador; Valero, Oscar 29 2010 A logical approach to abstract algebra. Zbl 1118.03059 Coquand, Thierry; Lombardi, Henri 28 2006 Bitopological duality for distributive lattices and Heyting algebras. Zbl 1193.06012 Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander 28 2010 Coherence of subsumption, minimum typing and type-checking in \(F_ \leq\). Zbl 0765.03008 Curien, Pierre-Louis; Ghelli, Giorgio 28 1992 Quantum weakest preconditions. Zbl 1122.68058 D’Hondt, Ellie; Panangaden, Prakash 27 2006 Type-based termination of recursive definitions. Zbl 1054.68027 Barthe, G.; Frade, M. J.; Giménez, E.; Pinto, L.; Uustalu, T. 27 2004 Modular correspondence between dependent type theories and categories including pretopoi and topoi. Zbl 1093.03042 Maietti, Maria Emilia 27 2005 Disintegration and Bayesian inversion via string diagrams. Zbl 1452.18008 Cho, Kenta; Jacobs, Bart 27 2019 Constructive natural deduction and its “\(\omega\)-set” interpretation. Zbl 0756.03028 Longo, Giuseppe; Moggi, Eugenio 27 1991 Univalent categories and the Rezk completion. Zbl 1362.18003 Ahrens, Benedikt; Kapulkin, Krzysztof; Shulman, Michael 27 2015 A categorical manifesto. Zbl 0747.18001 Goguen, Joseph A. 27 1991 On the semantics of place/transition Petri nets. Zbl 0876.68072 Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 26 1997 Unique decomposition categories, geometry of interaction and combinatory logic. Zbl 0951.03062 Haghverdi, Esfandiar 26 2000 Formalization of real analysis: a survey of proof assistants and libraries. Zbl 1364.68327 Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume 26 2016 Well-filtered spaces and their dcpo models. Zbl 1378.06005 Xi, Xiaoyong; Zhao, Dongsheng 26 2017 Resource convertibility and ordered commutative monoids. Zbl 1410.91308 Fritz, Tobias 26 2017 A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes. Zbl 0857.68042 Hirshfeld, Yoram; Jerrum, Mark; Moller, Faron 25 1996 Tripos theory in retrospect. Zbl 1005.18005 Pitts, Andrew M. 25 2002 Restriction categories. III: Colimits, partial limits and extensivity. Zbl 1123.18003 Cockett, Robin; Lack, Stephen 25 2007 The algebraic lambda calculus. Zbl 1186.03025 Vaux, Lionel 25 2009 Execution time of \(\lambda\)-terms via denotational semantics and intersection types. Zbl 1475.03073 De Carvalho, Daniel 25 2018 \(\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 25 2014 Demonic operators and monotype factors. Zbl 0797.68114 Backhouse, Roland; van der Woude, Jaap 24 1993 Algebraic spans. Zbl 0956.68098 Herlihy, Maurice; Rajsbaum, Sergio 24 2000 Equational properties of mobile ambients. Zbl 1085.68099 Gordon, Andrew D.; Cardelli, Luca 23 2003 An introduction to differential linear logic: proof-nets, models and antiderivatives. Zbl 1456.03097 Ehrhard, Thomas 23 2018 Hypercoherences: A strongly stable model of linear logic. Zbl 0802.68079 Ehrhard, Thomas 22 1993 An Oxford survey of order sorted algebra. Zbl 0939.68710 Goguen, Joseph; Diaconescu, Răzvan 22 1994 On asynchrony in name-passing calculi. Zbl 1093.68026 Merro, Massimo; Sangiorgi, Davide 22 2004 Polygraphs of finite derivation type. Zbl 1396.18004 Guiraud, Yves; Malbos, Philippe 22 2018 Shannon entropy: a rigorous notion at the crossroads between probability, information theory, dynamical systems and statistical physics. Zbl 1342.94059 Lesne, Annick 22 2014 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 Profunctors, open maps and bisimulation. Zbl 1169.68537 Cattani, Gian Luca; Winskel, Glynn 21 2005 Two-domain DNA strand displacement. Zbl 1271.68105 Cardelli, Luca 21 2013 Operations on records. Zbl 0727.68020 Cardelli, Luca; Mitchell, John C. 21 1991 Wadge-like reducibilities on arbitrary quasi-Polish spaces. Zbl 1362.03042 Motto Ros, Luca; Schlicht, Philipp; Selivanov, Victor 21 2015 When Scott is weak on the top. Zbl 0917.28013 Edalat, Abbas 20 1997 The temporal logic of coalgebras via Galois algebras. Zbl 1030.03017 Jacobs, Bart 20 2002 Intuitionistic model constructions and normalization proofs. Zbl 0883.03009 Coquand, Thierry; Dybjer, Peter 20 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 20 2011 Selection functions, bar recursion and backward induction. Zbl 1207.03072 Escardó, Martín; Oliva, Paulo 20 2010 Continuous domains as formal spaces. Zbl 0994.06005 Negri, Sara 19 2002 Generalised coinduction. Zbl 1025.18002 Bartels, Falk 19 2003 Borel ranks and Wadge degrees of context free \(\omega\)-languages. Zbl 1121.03047 Finkel, Olivier 19 2006 Temporal algebra. Zbl 0917.03011 von Karger, Burghard 19 1998 Statistical properties of simple types. Zbl 0966.03016 Moczurad, M.; Tyszkiewicz, J.; Zaionc, M. 19 2000 On the expressive power of recursion, replication and iteration in process calculi. Zbl 1191.68430 Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi 19 2009 Natural models of homotopy type theory. Zbl 1456.03023 Awodey, Steve 19 2018 Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058 Bruni, Roberto; Meseguer, José; Montanari, Ugo 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 On the size complexity of universal accepting hybrid networks of evolutionary processors. Zbl 1125.68053 Manea, Florin; Martin-Vide, Carlos; Mitrana, Victor 18 2007 Quantifying opacity. Zbl 1361.68117 Bérard, Béatrice; Mullins, John; Sassolas, Mathieu 18 2015 Two-level type theory and applications. Zbl 07813366 Annenkov, Danil; Capriotti, Paolo; Kraus, Nicolai; Sattler, Christian 2 2023 Bicategorical type theory: semantics and syntax. Zbl 07813371 Ahrens, Benedikt; North, Paige Randall; van der Weide, Niels 2 2023 Coherent differentiation. Zbl 07813348 Ehrhard, Thomas 1 2023 CHAD for expressive total languages. Zbl 07813349 Lucatelli Nunes, Fernando; Vákár, Matthijs 1 2023 Substitution principle and semidirect products. Zbl 07813358 Borlido, Célia; Gehrke, Mai 1 2023 Game semantics of Martin-Löf type theory. Zbl 07813361 Yamada, Norihiro 1 2023 A domain-theoretic framework for robustness analysis of neural networks. Zbl 07813326 Zhou, Can; Shaikh, Razin A.; Li, Yiran; Farjudian, Amin 1 2023 A general framework for the semantics of type theory. Zbl 07813328 Uemura, Taichi 1 2023 Not every countable complete distributive lattice is sober. Zbl 07813369 Miao, Hualin; Xi, Xiaoyong; Li, Qingguo; Zhao, Dongsheng 1 2023 Scott topology on Smyth power posets. Zbl 07813370 Xu, Xiaoquan; Wen, Xinpeng; Xi, Xiaoyong 1 2023 String diagram rewrite theory. II: Rewriting with symmetric monoidal structure. Zbl 1506.68042 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio 5 2022 Confluence of algebraic rewriting systems. Zbl 1512.68126 Chenavier, Cyrille; Dupont, Benjamin; Malbos, Philippe 4 2022 Proof-relevance in Bishop-style constructive mathematics. Zbl 1531.03098 Petrakis, Iosif 4 2022 A categorical view of varieties of ordered algebras. Zbl 1506.18009 Adámek, J.; Dostál, M.; Velebil, J. 4 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 3 2022 Quantum circuits generating four-qubit maximally entangled states. Zbl 1515.81068 Bataille, Marc 2 2022 A rewriting coherence theorem with applications in homotopy type theory. Zbl 1509.03052 Kraus, Nicolai; von Raumer, Jakob 2 2022 The costructure-cosemantics adjunction for comodels for computational effects. Zbl 1506.68051 Garner, Richard 2 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 Semantic analysis of normalisation by evaluation for typed lambda calculus. Zbl 07680178 Fiore, Marcelo 1 2022 On function spaces equipped with Isbell topology and Scott topology. Zbl 1521.54007 Xu, Xiaoquan; Bao, Meng; Zhang, Xiaoyuan 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 Rewriting in Gray categories with applications to coherence. Zbl 1517.68162 Forest, Simon; Mimram, Samuel 1 2022 An improved primal-dual approximation algorithm for the \(k\)-means problem with penalties. Zbl 1517.68416 Ren, Chunying; Xu, Dachuan; Du, Donglei; Li, Min 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 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 Bisimulation as a logical relation. Zbl 1506.68060 Hermida, Claudio; Reddy, Uday; Robinson, Edmund; Santamaria, Alessio 1 2022 Syntax and models of Cartesian cubical type theory. Zbl 1529.03123 Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R. 7 2021 Languages of higher-dimensional automata. Zbl 1495.68119 Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof 6 2021 Finitary monads on the category of posets. Zbl 1495.18007 Adámek, Jiří; Ford, Chase; Milius, Stefan; Schröder, Lutz 4 2021 Quasi-Nelson algebras and fragments. Zbl 1529.03284 Rivieccio, Umberto; Jansana, Ramon 4 2021 Products and projective limits of continuous valuations on \(T_0\) spaces. Zbl 1481.54009 Goubault-Larrecq, Jean 3 2021 Modal descent. Zbl 1481.18029 Cherubini, Felix; Rijke, Egbert 3 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 Constructive sheaf models of type theory. Zbl 1529.18006 Coquand, Thierry; Ruch, Fabian; Sattler, Christian 2 2021 Three improvements to the top-down solver. Zbl 1489.68053 Seidl, Helmut; Vogler, Ralf 2 2021 Convolution and concurrency. Zbl 1490.68139 Cranch, James; Doherty, Simon; Struth, Georg 2 2021 Freely adjoining monoidal duals. Zbl 1495.18019 Coulembier, Kevin; Street, Ross; Van den Bergh, Michel 2 2021 Doctrines, modalities and comonads. Zbl 1498.18025 Dagnino, Francesco; Rosolini, Giuseppe 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 Separating minimal valuations, point-continuous valuations, and continuous valuations. Zbl 07527573 Goubault-Larrecq, Jean; Jia, Xiaodong 2 2021 Synthetic topology in homotopy type theory for probabilistic programming. Zbl 1517.68072 Bidlingmaier, Martin E.; Faissole, Florian; Spitters, Bas 2 2021 Indexed type theories. Zbl 1494.18018 Isaev, Valery 1 2021 Elementary fibrations of enriched groupoids. Zbl 07547338 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe 1 2021 Triposes as a generalization of localic geometric morphisms. Zbl 1490.18002 Frey, Jonas; Streicher, Thomas 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 Coherence for bicategorical Cartesian closed structure. Zbl 1495.18008 Fiore, Marcelo; Saville, Philip 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 1529.03275 Felty, Amy; Olarte, Carlos; Xavier, Bruno 1 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 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 15 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 12 2020 Open Petri nets. Zbl 1457.68177 Baez, John C.; Master, Jade 9 2020 A representation of proper BC domains based on conjunctive sequent calculi. Zbl 1478.03078 Wang, Longchun; Li, Qingguo 8 2020 Petri nets based on Lawvere theories. Zbl 1492.68097 Master, Jade 7 2020 Denotational semantics for guarded dependent type theory. Zbl 1495.68127 Bizjak, Aleš; Ejlers Møgelberg, Rasmus 6 2020 Implicative algebras: a new foundation for realizability and forcing. Zbl 1498.03043 Miquel, Alexandre 6 2020 From Kruskal’s theorem to Friedman’s gap condition. Zbl 1542.06007 Freund, Anton 6 2020 Monoidal-closed categories of tree automata. Zbl 1435.68183 Riba, Colin 4 2020 Rewriting with generalized nominal unification. Zbl 1495.68115 Kutz, Yunus; Schmidt-Schauß, Manfred 4 2020 Forward analysis for WSTS. I: Completions. Zbl 1491.68122 Finkel, Alain; Goubault-Larrecq, Jean 4 2020 Computable analysis with applications to dynamic systems. Zbl 1478.03072 Collins, Pieter 3 2020 Noncommutative network models. Zbl 1442.18034 Moeller, Joe 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 Multisets, heaps, bags, families: what is a multiset? Zbl 1478.03075 Jürgensen, Helmut 2 2020 A channel-based perspective on conjugate priors. Zbl 1442.62054 Jacobs, B. 2 2020 Witness algebra and anyon braiding. Zbl 1495.81024 Blass, Andreas; Gurevich, Yuri 2 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 Quantifiers on languages and codensity monads. Zbl 1495.68145 Gehrke, Mai; Petrişan, Daniela; Reggio, Luca 2 2020 A cubical Squier’s theorem. Zbl 1436.18022 Lucas, Maxime 1 2020 Primitive recursion in the abstract. Zbl 1435.68064 Leivant, Daniel; Marion, Jean-Yves 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 1530.06006 Ghilardi, Silvio; Santocanale, Luigi 1 2020 Computing knowledge in equational extensions of subterm convergent theories. Zbl 1495.68113 Erbatur, Serdar; Marshall, Andrew M.; Ringeissen, Christophe 1 2020 Encodings of Turing machines in linear logic. Zbl 1495.03074 Clift, James; Murfet, Daniel 1 2020 Convenient antiderivatives for differential linear categories. Zbl 1497.18027 Pacaud Lemay, Jean-Simon 1 2020 Higher-order pattern generalization modulo equational theories. Zbl 1495.03013 Cerna, David M.; Kutsia, Temur 1 2020 Bounded ACh unification. Zbl 1495.68111 Eeralla, Ajay Kumar; Lynch, Christopher 1 2020 Dynamic game semantics. Zbl 1495.68128 Yamada, Norihiro; Abramsky, Samson 1 2020 Disintegration and Bayesian inversion via string diagrams. Zbl 1452.18008 Cho, Kenta; Jacobs, Bart 27 2019 Subexponentials in non-commutative linear logic. Zbl 1456.03099 Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre 16 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 Quotienting the delay monad by weak bisimilarity. Zbl 1407.68306 Chapman, James; Uustalu, Tarmo; Veltri, Niccolò 7 2019 A deterministic rewrite system for the probabilistic \(\lambda\)-calculus. Zbl 1434.68091 Leventis, Thomas 6 2019 A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras. Zbl 1422.68227 Hedges, Jules; Sadrzadeh, Mehrnoosh 6 2019 Expansion trees with cut. Zbl 1456.03085 Aschieri, Federico; Hetzl, Stefan; Weller, Daniel 5 2019 Constructing weak simulations from linear implications for processes with private names. Zbl 1447.68008 Horne, Ross; Tiu, Alwen 5 2019 A case study in programming coinductive proofs: Howe’s method. Zbl 1430.68418 Momigliano, Alberto; Pientka, Brigitte; Thibodeau, David 5 2019 Limits in categories of Vietoris coalgebras. Zbl 1417.68108 Hofmann, Dirk; Neves, Renato; Nora, Pedro 5 2019 ...and 786 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 4,869 Authors 42 Milius, Stefan 39 Adámek, Jiří 38 Yoshida, Nobuko 35 Gadducci, Fabio 34 Sangiorgi, Davide 32 Cockett, J. Robin B. 31 Bonchi, Filippo 30 Corradini, Andrea 30 Dezani-Ciancaglini, Mariangiola 30 Jacobs, Bart 28 Ehrig, Hartmut 27 Baldan, Paolo 26 Ésik, Zoltán 25 Montanari, Ugo G. 24 Ehrhard, Thomas 24 Konno, Norio 24 Schröder, Lutz 23 Li, Qingguo 23 Pérez, Jorge A. 22 Dal Lago, Ugo 22 Kesner, Delia 21 Diaconescu, Răzvan 21 Hötzel Escardó, Martín 21 Rutten, Jan J. M. M. 21 Silva, Alexandra 21 Velebil, Jiří 20 König, Barbara 20 Pfenning, Frank 19 Birkedal, Lars 19 Bruni, Roberto 19 Pym, David J. 19 Selivanov, Viktor L’vovich 19 Xi, Xiaoyong 19 Zhao, Dongsheng 18 Coquand, Thierry 18 Goubault-Larrecq, Jean 18 Orejas, Fernando 18 Panangaden, Prakash 18 Power, John 18 Taentzer, Gabriele 18 Winskel, Glynn 17 Abel, Andreas M. 17 Arbab, Farhad 17 Fiore, Marcelo P. 17 Fu, Yuxi 17 Ghani, Neil 17 Romaguera Bonilla, Salvador 17 Schmidt-Schauß, Manfred 17 Uustalu, Tarmo 17 Zanasi, Fabio 16 Aceto, Luca 16 Díaz-Caro, Alejandro 16 Fahrenberg, Uli 16 Kanovich, Max Iosifovich 16 Miller, Dale Allen 16 Rot, Jurriaan 16 Sobociński, Paweł 16 Straßburger, Lutz 15 Blute, Richard F. 15 Danos, Vincent 15 Edalat, Abbas 15 Fernández, Maribel 15 Horne, Ross 15 Hyland, J. Martin E. 15 Kurz, Alexander 15 Manzonetto, Giulio 15 Pous, Damien 15 Sadrzadeh, Mehrnoosh 15 Ščedrov, Andrej 15 Schuster, Peter Michael 15 Scott, Philip J. 14 Ahrens, Benedikt 14 Bergstra, Jan A. 14 Deng, Yuxin 14 Finkel, Olivier 14 Gorla, Daniele 14 Hennessy, Matthew C. B. 14 Hirschkoff, Daniel 14 Lanese, Ivan 14 Levy, Paul Blain 14 Maietti, Maria Emilia 14 Mossakowski, Till 14 Pavlović, Duško 14 Phillips, Iain W. 14 Rajsbaum, Sergio 14 Xu, Xiaoquan 14 Ying, Mingsheng 13 Abramsky, Samson 13 Barbanera, Franco 13 Behr, Nicolas 13 Duval, Dominique 13 Heunen, Chris 13 Katsumata, Shin-ya 13 Keimel, Klaus 13 Legay, Axel 13 Licata, Daniel R. 13 Meseguer Guaita, José 13 Möller, Bernhard 13 Pacaud Lemay, Jean-Simon 13 Pitts, Andrew M. ...and 4,769 more Authors all top 5 Cited in 358 Journals 591 Theoretical Computer Science 282 Mathematical Structures in Computer Science 232 Information and Computation 208 Logical Methods in Computer Science 164 Annals of Pure and Applied Logic 110 Journal of Logical and Algebraic Methods in Programming 90 Journal of Pure and Applied Algebra 68 Topology and its Applications 68 Applied Categorical Structures 64 Journal of Functional Programming 57 Journal of Automated Reasoning 57 Quantum Information Processing 54 Formal Aspects of Computing 45 Theory and Applications of Categories 44 The Journal of Symbolic Logic 43 Studia Logica 42 The Journal of Logic and Algebraic Programming 41 Acta Informatica 33 Fuzzy Sets and Systems 31 Information Processing Letters 30 International Journal of Theoretical Physics 29 Science of Computer Programming 26 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 Mathematical Logic Quarterly (MLQ) 19 Soft Computing 19 ACM Transactions on Computational Logic 18 The Bulletin of Symbolic Logic 18 Logica Universalis 18 Journal of Physics A: Mathematical and Theoretical 17 Higher-Order and Symbolic Computation 17 Natural Computing 15 Journal of Algebra 15 Journal of Philosophical Logic 15 Synthese 15 Fixed Point Theory and Applications 14 Semigroup Forum 14 International Journal of Foundations of Computer Science 14 Theory of Computing Systems 13 Advances in Mathematics 12 Information Sciences 12 International Journal of Approximate Reasoning 12 Journal of Applied Non-Classical Logics 12 Fundamenta Informaticae 11 Discrete Applied Mathematics 11 Journal of Symbolic Computation 10 Journal of Logic, Language and Information 10 Annals of Mathematics and Artificial Intelligence 10 Sibirskie Èlektronnye Matematicheskie Izvestiya 9 International Journal of Algebra and Computation 8 Journal of Statistical Physics 8 Physica A 8 Physics Letters. A 8 Applied Mathematics and Computation 8 Quaestiones Mathematicae 8 Journal of Computer Science and Technology 8 The Review of Symbolic Logic 8 Formalized Mathematics 8 Higher Structures 7 Communications in Mathematical Physics 7 Journal of Mathematical Physics 7 Automatica 7 Cahiers de Topologie et Géométrie Différentielle Catégoriques 7 Notre Dame Journal of Formal Logic 7 Distributed Computing 7 Journal of Mathematical Sciences (New York) 7 Journal of Homotopy and Related Structures 7 Computability 7 Quantum Studies: Mathematics and Foundations 6 Communications in Algebra 6 Demonstratio Mathematica 6 Proceedings of the American Mathematical Society 6 Order 6 New Generation Computing 6 International Journal of Computer Mathematics 6 Linear Algebra and its Applications 6 Journal of Algebraic Combinatorics 6 Abstract and Applied Analysis 6 RAIRO. Theoretical Informatics and Applications 5 International Journal of Mathematics and Mathematical Sciences 5 Discrete Event Dynamic Systems 5 Bulletin of the American Mathematical Society. New Series 5 Diagrammes 5 The Electronic Journal of Combinatorics 5 Selecta Mathematica. New Series 5 Mathematical Problems in Engineering 5 New Journal of Physics 5 Computer Languages, Systems & Structures 5 Cahiers de Topologie et Géométrie Différentielle Catégoriques 5 Foundations of Physics 5 Computer Science Review 5 Categories and General Algebraic Structures with Applications 5 Journal of Applied and Computational Topology 4 Discrete Mathematics 4 Mathematical Proceedings of the Cambridge Philosophical Society 4 Fundamenta Mathematicae 4 History and Philosophy of Logic ...and 258 more Journals all top 5 Cited in 57 Fields 3,465 Computer science (68-XX) 2,050 Mathematical logic and foundations (03-XX) 1,060 Category theory; homological algebra (18-XX) 418 Quantum theory (81-XX) 399 Order, lattices, ordered algebraic structures (06-XX) 296 General topology (54-XX) 165 Combinatorics (05-XX) 129 Algebraic topology (55-XX) 112 General algebraic systems (08-XX) 106 Probability theory and stochastic processes (60-XX) 102 Information and communication theory, circuits (94-XX) 94 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 76 Biology and other natural sciences (92-XX) 72 Group theory and generalizations (20-XX) 63 Associative rings and algebras (16-XX) 48 Statistical mechanics, structure of matter (82-XX) 37 Systems theory; control (93-XX) 36 Commutative algebra (13-XX) 36 Functional analysis (46-XX) 34 Operations research, mathematical programming (90-XX) 33 Operator theory (47-XX) 32 Dynamical systems and ergodic theory (37-XX) 30 General and overarching topics; collections (00-XX) 30 History and biography (01-XX) 29 Measure and integration (28-XX) 29 Numerical analysis (65-XX) 26 Statistics (62-XX) 25 Real functions (26-XX) 18 Algebraic geometry (14-XX) 18 Topological groups, Lie groups (22-XX) 16 Nonassociative rings and algebras (17-XX) 15 Linear and multilinear algebra; matrix theory (15-XX) 15 Manifolds and cell complexes (57-XX) 15 Relativity and gravitational theory (83-XX) 12 Field theory and polynomials (12-XX) 12 Ordinary differential equations (34-XX) 11 Partial differential equations (35-XX) 10 Global analysis, analysis on manifolds (58-XX) 10 Mechanics of particles and systems (70-XX) 9 Number theory (11-XX) 9 Geometry (51-XX) 8 Convex and discrete geometry (52-XX) 7 Calculus of variations and optimal control; optimization (49-XX) 6 Differential geometry (53-XX) 5 \(K\)-theory (19-XX) 3 Difference and functional equations (39-XX) 3 Optics, electromagnetic theory (78-XX) 3 Classical thermodynamics, heat transfer (80-XX) 3 Mathematics education (97-XX) 2 Sequences, series, summability (40-XX) 2 Fluid mechanics (76-XX) 1 Functions of a complex variable (30-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Special functions (33-XX) 1 Approximations and expansions (41-XX) 1 Integral equations (45-XX) 1 Geophysics (86-XX) Citations by Year