×

MSCS. Mathematical Structures in Computer Science

A 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

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
A quantitative computational model for complete partial metric spaces via formal balls. Zbl 1172.06003
Romaguera, Salvador; Valero, Oscar
64
2009
Spaces of maximal points. Zbl 0985.54025
Lawson, Jimmie
64
1997
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
Finiteness spaces. Zbl 1084.03048
Ehrhard, Thomas
54
2005
On the bisimulation proof method. Zbl 0916.68057
Sangiorgi, Davide
54
1998
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
Differential categories. Zbl 1115.03092
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
41
2006
Control categories and duality: On the categorical semantics of the lambda-mu calculus. Zbl 0984.18003
Selinger, Peter
41
2001
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
Partial metrisability of continuous posets. Zbl 1103.06004
Waszkiewicz, Pawel
34
2006
Representing control: A study of the CPS transformation. Zbl 0798.68102
Danvy, Olivier; Filinski, Andrzej
34
1992
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
The structure of interlaced bilattices. Zbl 0856.06005
Avron, A.
31
1996
Linear logic propositions as session types. Zbl 1361.68162
Caires, Luís; Pfenning, Frank; Toninho, Bernardo
31
2016
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
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
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
An experimental library of formalized mathematics based on the univalent foundations. Zbl 1361.68192
Voevodsky, Vladimir
26
2015
Unique decomposition categories, geometry of interaction and combinatory logic. Zbl 0951.03062
Haghverdi, Esfandiar
25
2000
Brouwer’s fixed-point theorem in real-cohesive homotopy type theory. Zbl 1390.03014
Shulman, Michael
25
2018
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
Coherence of subsumption, minimum typing and type-checking in \(F_ \leq\). Zbl 0765.03008
Curien, Pierre-Louis; Ghelli, Giorgio
25
1992
On the semantics of place/transition Petri nets. Zbl 0876.68072
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
25
1997
The algebraic lambda calculus. Zbl 1186.03025
Vaux, Lionel
24
2009
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
Tripos theory in retrospect. Zbl 1005.18005
Pitts, Andrew M.
24
2002
Well-filtered spaces and their dcpo models. Zbl 1378.06005
Xi, Xiaoyong; Zhao, Dongsheng
24
2017
Type-based termination of recursive definitions. Zbl 1054.68027
Barthe, G.; Frade, M. J.; Giménez, E.; Pinto, L.; Uustalu, T.
23
2004
Quantum weakest preconditions. Zbl 1122.68058
D’Hondt, Ellie; Panangaden, Prakash
23
2006
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
Restriction categories. III: Colimits, partial limits and extensivity. Zbl 1123.18003
Cockett, Robin; Lack, Stephen
22
2007
Secure information flow by self-composition. Zbl 1252.68072
Barthe, Gilles; D’Argenio, Pedro R.; Rezk, Tamara
22
2011
Equational properties of mobile ambients. Zbl 1085.68099
Gordon, Andrew D.; Cardelli, Luca
22
2003
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
22
1994
Demonic operators and monotype factors. Zbl 0797.68114
Backhouse, Roland; van der Woude, Jaap
22
1993
\(\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
Resource convertibility and ordered commutative monoids. Zbl 1410.91308
Fritz, Tobias
22
2017
Disintegration and Bayesian inversion via string diagrams. Zbl 1452.18008
Cho, Kenta; Jacobs, Bart
22
2019
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
Hypercoherences: A strongly stable model of linear logic. Zbl 0802.68079
Ehrhard, Thomas
21
1993
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
Formalization of real analysis: a survey of proof assistants and libraries. Zbl 1364.68327
Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume
20
2016
Shannon entropy: a rigorous notion at the crossroads between probability, information theory, dynamical systems and statistical physics. Zbl 1342.94059
Lesne, Annick
20
2014
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
Temporal algebra. Zbl 0917.03011
von Karger, Burghard
19
1998
On asynchrony in name-passing calculi. Zbl 1093.68026
Merro, Massimo; Sangiorgi, Davide
19
2004
Profunctors, open maps and bisimulation. Zbl 1169.68537
Cattani, Gian Luca; Winskel, Glynn
19
2005
Intuitionistic model constructions and normalization proofs. Zbl 0883.03009
Coquand, Thierry; Dybjer, Peter
19
1997
An introduction to differential linear logic: proof-nets, models and antiderivatives. Zbl 1456.03097
Ehrhard, Thomas
19
2018
Two-domain DNA strand displacement. Zbl 1271.68105
Cardelli, Luca
19
2013
On the size complexity of universal accepting hybrid networks of evolutionary processors. Zbl 1125.68053
Manea, Florin; Martin-Vide, Carlos; Mitrana, Victor
18
2007
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
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Zbl 1107.68055
Ehrig, Hartmut; König, Barbara
18
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
When Scott is weak on the top. Zbl 0917.28013
Edalat, Abbas
18
1997
The temporal logic of coalgebras via Galois algebras. Zbl 1030.03017
Jacobs, Bart
18
2002
The formal ball model for \(\mathcal Q\)-categories. Zbl 1215.18005
Kostanek, Mateusz; Waszkiewicz, Paweł
17
2011
On the expressive power of recursion, replication and iteration in process calculi. Zbl 1191.68430
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
17
2009
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
Quantifying opacity. Zbl 1361.68117
Bérard, Béatrice; Mullins, John; Sassolas, Mathieu
17
2015
Generalised coinduction. Zbl 1025.18002
Bartels, Falk
17
2003
Free compact 2-categories. Zbl 1151.18007
Preller, Anne; Lambek, Joachim
16
2007
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
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
Finitary monads on the category of posets. Zbl 1495.18007
Adámek, Jiří; Ford, Chase; Milius, Stefan; Schröder, Lutz
4
2021
On Church’s thesis in cubical assemblies. Zbl 07630473
Swan, Andrew W.; Uemura, Taichi
3
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
Freely adjoining monoidal duals. Zbl 1495.18019
Coulembier, Kevin; Street, Ross; Van den Bergh, Michel
2
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
Separating minimal valuations, point-continuous valuations, and continuous valuations. Zbl 07527573
Goubault-Larrecq, Jean; Jia, Xiaodong
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 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
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
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
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
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 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
Open Petri nets. Zbl 1457.68177
Baez, John C.; Master, Jade
5
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
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
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
Noncommutative network models. Zbl 1442.18034
Moeller, Joe
3
2020
Monoidal-closed categories of tree automata. Zbl 1435.68183
Riba, Colin
3
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
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
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
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
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
A deterministic rewrite system for the probabilistic \(\lambda\)-calculus. Zbl 1434.68091
Leventis, Thomas
6
2019
Quotienting the delay monad by weak bisimilarity. Zbl 1407.68306
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
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
4
2019
A case study in programming coinductive proofs: Howe’s method. Zbl 1430.68418
Momigliano, Alberto; Pientka, Brigitte; Thibodeau, David
4
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
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
Hybrid linear logic, revisited. Zbl 1456.03095
Chaudhuri, Kaustuv; Despeyroux, Joëlle; Olarte, Carlos; Pimentel, Elaine
2
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
Identity types and weak factorization systems in Cauchy complete categories. Zbl 1468.03017
North, Paige Randall
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
Deep inference and expansion trees for second-order multiplicative linear logic. Zbl 1456.03107
Straßburger, Lutz
1
2019
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search. Zbl 1456.03024
Espírito Santo, José; Matthes, Ralph; Pinto, Luís
1
2019
A semantics for nabla. Zbl 1456.03055
Goubault-Larrecq, Jean
1
2019
A general proof certification framework for modal logic. Zbl 1430.68416
Libal, Tomer; Volpe, Marco
1
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
...and 752 more Documents
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