×

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: Indexed cover-to-cover; Published electronic only as of Vol. 24 (2014). Print ISSN until then: 0960-1295
Documents Indexed: 1,088 Publications (since 1991)
References Indexed: 722 Publications with 18,650 References.
all top 5

Latest Issues

31, No. 9 (2021)
31, No. 8 (2021)
31, No. 7 (2021)
31, No. 6 (2021)
31, No. 5 (2021)
31, No. 4 (2021)
31, No. 3 (2021)
31, No. 2 (2021)
31, No. 1 (2021)
30, No. 10 (2020)
30, No. 9 (2020)
30, No. 8 (2020)
30, No. 7 (2020)
30, No. 6 (2020)
30, No. 5 (2020)
30, No. 4 (2020)
30, No. 3 (2020)
30, No. 2 (2020)
30, No. 1 (2020)
29, No. 10 (2019)
29, No. 9 (2019)
29, No. 8 (2019)
29, No. 7 (2019)
29, No. 6 (2019)
29, No. 5 (2019)
29, No. 4 (2019)
29, No. 3 (2019)
29, No. 2 (2019)
29, No. 1 (2019)
28, No. 10 (2018)
28, No. 9 (2018)
28, No. 8 (2018)
28, No. 7 (2018)
28, No. 6 (2018)
28, No. 5 (2018)
28, No. 4 (2018)
28, No. 2 (2018)
28, No. 1 (2018)
27, No. 8 (2017)
27, No. 7 (2017)
27, No. 6 (2017)
27, No. 5 (2017)
27, No. 4 (2017)
27, No. 3 (2017)
27, No. 2 (2017)
27, No. 1 (2017)
26, No. 8 (2016)
26, No. 7 (2016)
26, No. 6 (2016)
26, No. 5 (2016)
26, No. 4 (2016)
26, No. 3 (2016)
26, No. 2 (2016)
26, No. 1 (2016)
25, No. 8 (2015)
25, No. 7 (2015)
25, No. 6 (2015)
25, No. 5 (2015)
25, No. 4 (2015)
25, No. 3 (2015)
25, No. 2 (2015)
25, No. 1 (2015)
24, No. 6 (2014)
24, No. 5 (2014)
24, No. 4 (2014)
24, No. 3 (2014)
24, No. 2 (2014)
24, No. 1 (2014)
23, No. 6 (2013)
23, No. 5 (2013)
23, No. 4 (2013)
23, No. 3 (2013)
23, No. 2 (2013)
23, No. 1 (2013)
22, No. 6 (2012)
22, No. 5 (2012)
22, No. 4 (2012)
22, No. 3 (2012)
22, No. 2 (2012)
22, No. 1 (2012)
21, No. 6 (2011)
21, No. 5 (2011)
21, No. 4 (2011)
21, No. 3 (2011)
21, No. 2 (2011)
21, No. 1 (2011)
20, No. 6 (2010)
20, No. 5 (2010)
20, No. 4 (2010)
20, No. 3 (2010)
20, No. 2 (2010)
20, No. 1 (2010)
19, No. 6 (2009)
19, No. 5 (2009)
19, No. 4 (2009)
19, No. 3 (2009)
19, No. 2 (2009)
19, No. 1 (2009)
18, No. 6 (2008)
18, No. 5 (2008)
...and 92 more Volumes
all top 5

Authors

15 Ehrig, Hartmut
11 Adámek, Jiří
11 Goubault-Larrecq, Jean
11 Velebil, Jiří
9 Streicher, Thomas
8 Busi, Nadia
8 Dezani-Ciancaglini, Mariangiola
8 Longo, Giuseppe
8 Montanari, Ugo G.
7 Coquand, Thierry
7 Jacobs, Bart
7 Kurz, Alexander
7 Orejas, Fernando
7 Sangiorgi, Davide
6 Abramsky, Samson
6 Berger, Ulrich
6 Birkedal, Lars
6 Cockett, J. Robin B.
6 Corradini, Andrea
6 Dal Lago, Ugo
6 Gorla, Daniele
6 Habel, Annegret
6 Li, Qingguo
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 Ehrhard, Thomas
5 Ésik, Zoltán
5 Galmiche, Didier
5 Gay, Simon J.
5 Hötzel Escardó, Martín
5 Kanovich, Max Iosifovich
5 Møgelberg, Rasmus Ejlers
5 Petrić, Zoran
5 Spreen, Dieter
5 Zucca, Elena
4 Aceto, Luca
4 Ahrens, Benedikt
4 Asperti, Andrea
4 Baldan, Paolo
4 Barthe, Gilles
4 Blute, Richard F.
4 Bonchi, Filippo
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 Fernández, Maribel
4 Fiadeiro, José Luiz
4 Fiore, Marcelo P.
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 Hasegawa, Masahito
4 Heckel, Reiko
4 Honsell, Furio
4 Huth, Michael R. A.
4 Ingólfsdóttir, Anna
4 Keimel, Klaus
4 Kesner, Delia
4 König, Barbara
4 Luo, Zhaohui
4 Mazza, Damiano
4 Melliès, Paul-André
4 Meseguer Guaita, José
4 Nestmann, Uwe
4 Panangaden, Prakash
4 Pavlović, Duško
4 Pitts, Andrew M.
4 Plotkin, Gordon D.
4 Pym, David J.
4 Rozenberg, Grzegorz
4 Sassone, Vladimiro
4 Schröder, Matthias
4 Scott, Philip J.
4 Seely, Robert A. G.
4 Selivanov, Viktor L’vovich
4 Silva, Alexandra
4 Simpson, Alex K.
4 Spitters, Bas
4 Tsuiki, Hideki
4 Van den Berg, Benno
4 Vickers, Steven
4 Walters, Robert F. C.
4 Winskel, Glynn
3 Altenkirch, Thorsten
3 Ancona, Davide
3 Aschieri, Federico
...and 1,302 more Authors
all top 5

Fields

685 Computer science (68-XX)
479 Mathematical logic and foundations (03-XX)
242 Category theory; homological algebra (18-XX)
76 Order, lattices, ordered algebraic structures (06-XX)
55 General and overarching topics; collections (00-XX)
39 General topology (54-XX)
39 Quantum theory (81-XX)
24 General algebraic systems (08-XX)
19 Information and communication theory, circuits (94-XX)
17 Probability theory and stochastic processes (60-XX)
16 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
14 Combinatorics (05-XX)
14 Algebraic topology (55-XX)
11 Systems theory; control (93-XX)
10 Group theory and generalizations (20-XX)
9 Measure and integration (28-XX)
9 Operations research, mathematical programming (90-XX)
9 Biology and other natural sciences (92-XX)
8 History and biography (01-XX)
8 Statistical mechanics, structure of matter (82-XX)
7 Dynamical systems and ergodic theory (37-XX)
6 Associative rings and algebras (16-XX)
6 Functional analysis (46-XX)
6 Numerical analysis (65-XX)
5 Statistics (62-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)
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 Global analysis, analysis on manifolds (58-XX)
1 Optics, electromagnetic theory (78-XX)

Publications by Year

Citations contained in zbMATH Open

774 Publications have been cited 5,636 times in 4,036 Documents Cited by Year
Functions as processes. Zbl 0773.03012
Milner, Robin
102
1992
Towards a quantum programming language. Zbl 1085.68014
Selinger, Peter
78
2004
Quantales, observational logic and process semantics. Zbl 0823.06011
Abramsky, Samson; Vickers, Steven
76
1993
Typing and subtyping for mobile processes. Zbl 0861.68030
Pierce, Benjamin; Sangiorgi, Davide
72
1996
A new constructive logic: Classical logic. Zbl 0752.03027
Girard, Jean-Yves
66
1991
Locus solum: From the rules of logic to the logic of rules. Zbl 1051.03045
Girard, Jean-Yves
63
2001
Reo: a channel-based coordination model for component composition. Zbl 1085.68552
Arbab, Farhad
62
2004
Spaces of maximal points. Zbl 0985.54025
Lawson, Jimmie
61
1997
Decoherence in quantum walks - a review. Zbl 1130.81325
Kendon, Viv
60
2007
A quantitative computational model for complete partial metric spaces via formal balls. Zbl 1172.06003
Romaguera, Salvador; Valero, Oscar
58
2009
A judgmental reconstruction of modal logic. Zbl 0997.03020
Pfenning, Frank; Davies, Rowan
54
2001
Comprehending monads. Zbl 0798.68040
Wadler, Philip
54
1992
Premonoidal categories and notions of computation. Zbl 0897.18002
Power, John; Robinson, Edmund
51
1997
Finiteness spaces. Zbl 1084.03048
Ehrhard, Thomas
49
2005
An approach to object semantics based on terminal co-algebras. Zbl 0854.18006
Reichel, Horst
44
1995
On the bisimulation proof method. Zbl 0916.68057
Sangiorgi, Davide
43
1998
Equational axioms for regular sets. Zbl 0796.68153
Bloom, S. L.; Ésik, Z.
43
1993
Distributing probability over non-determinism. Zbl 1093.18002
Varacca, Daniele; Winskel, Glynn
43
2006
\(*\)-autonomous categories and linear logic. Zbl 0777.18006
Barr, Michael
42
1991
Correctness of high-level transformation systems relative to nested conditions. Zbl 1168.68022
Habel, Annegret; Pennemann, Karl-Heinz
38
2009
Control categories and duality: On the categorical semantics of the lambda-mu calculus. Zbl 0984.18003
Selinger, Peter
37
2001
Differential categories. Zbl 1115.03092
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
36
2006
Connected limits, familial representability and Artin glueing. Zbl 0849.18002
Carboni, Aurelio; Johnstone, Peter
35
1995
Geometry of interaction and linear combinatory algebras. Zbl 1014.03056
Abramsky, Samson; Haghverdi, Esfandiar; Scott, Philip
34
2002
A new description of orthogonal bases. Zbl 1276.46016
Coecke, Bob; Pavlovic, Dusko; Vicary, Jamie
33
2013
Parallelism and concurrency in high-level replacement systems. Zbl 0749.68045
Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco
32
1991
A lambda calculus for quantum computation with classical control. Zbl 1122.68033
Selinger, Peter; Valiron, Benoit
31
2006
Representing control: A study of the CPS transformation. Zbl 0798.68102
Danvy, Olivier; Filinski, Andrzej
30
1992
The structure of interlaced bilattices. Zbl 0856.06005
Avron, A.
29
1996
Partial metrisability of continuous posets. Zbl 1103.06004
Waszkiewicz, Pawel
29
2006
Univalence for inverse diagrams and homotopy canonicity. Zbl 1362.03008
Shulman, Michael
28
2015
On the foundations of final coalgebra semantics: Non-well-founded sets, partial orders, metric spaces. Zbl 0917.68140
Turi, Daniele; Rutten, Jan
28
1998
Iterative algebras at work. Zbl 1112.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
28
2006
Parametric polymorphism and operational equivalence. Zbl 0955.68024
Pitts, Andrew M.
27
2000
A coinductive calculus of streams. Zbl 1068.68061
Rutten, J. J. M. M.
27
2005
A categorical manifesto. Zbl 0747.18001
Goguen, Joseph A.
26
1991
Introduction to distributive categories. Zbl 0793.18006
Cockett, J. R. B.
26
1993
The semantics of BI and resource tableaux. Zbl 1145.03308
Galmiche, D.; Méry, D.; Pym, D.
25
2005
Constructive natural deduction and its “\(\omega\)-set” interpretation. Zbl 0756.03028
Longo, Giuseppe; Moggi, Eugenio
24
1991
Domain theoretic characterisations of quasi-metric completeness in terms of formal balls. Zbl 1193.54016
Romaguera, Salvador; Valero, Oscar
24
2010
Coherence of subsumption, minimum typing and type-checking in \(F_ \leq\). Zbl 0765.03008
Curien, Pierre-Louis; Ghelli, Giorgio
23
1992
Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca
23
2016
Linear time computable problems and first-order descriptions. Zbl 0862.68056
Seese, Detlef
23
1996
Quantum programming languages: survey and bibliography. Zbl 1122.68021
Gay, Simon J.
23
2006
Well-filtered spaces and their dcpo models. Zbl 1378.06005
Xi, Xiaoyong; Zhao, Dongsheng
23
2017
Linear logic propositions as session types. Zbl 1361.68162
Caires, Luís; Pfenning, Frank; Toninho, Bernardo
22
2016
On Köthe sequence spaces and linear logic. Zbl 1025.03066
Ehrhard, Thomas
22
2002
Hypercoherences: A strongly stable model of linear logic. Zbl 0802.68079
Ehrhard, Thomas
21
1993
Equational properties of mobile ambients. Zbl 1085.68099
Gordon, Andrew D.; Cardelli, Luca
21
2003
A logical approach to abstract algebra. Zbl 1118.03059
Coquand, Thierry; Lombardi, Henri
21
2006
Unique decomposition categories, geometry of interaction and combinatory logic. Zbl 0951.03062
Haghverdi, Esfandiar
20
2000
A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes. Zbl 0857.68042
Hirshfeld, Yoram; Jerrum, Mark; Moller, Faron
20
1996
On the semantics of place/transition Petri nets. Zbl 0876.68072
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
20
1997
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
20
1994
Quantum weakest preconditions. Zbl 1122.68058
D’Hondt, Ellie; Panangaden, Prakash
20
2006
LQP: the dynamic logic of quantum information. Zbl 1103.03031
Baltag, Alexandru; Smets, Sonja
20
2006
The algebraic lambda calculus. Zbl 1186.03025
Vaux, Lionel
20
2009
An experimental library of formalized mathematics based on the univalent foundations. Zbl 1361.68192
Voevodsky, Vladimir
19
2015
Tripos theory in retrospect. Zbl 1005.18005
Pitts, Andrew M.
19
2002
Demonic operators and monotype factors. Zbl 0797.68114
Backhouse, Roland; van der Woude, Jaap
19
1993
Restriction categories. III: Colimits, partial limits and extensivity. Zbl 1123.18003
Cockett, Robin; Lack, Stephen
19
2007
Wadge-like reducibilities on arbitrary quasi-Polish spaces. Zbl 1362.03042
Motto Ros, Luca; Schlicht, Philipp; Selivanov, Victor
18
2015
Double-pushout graph transformation revisited. Zbl 0987.18005
Habel, Annegret; Müller, Jürgen; Plump, Detlef
18
2001
On the size complexity of universal accepting hybrid networks of evolutionary processors. Zbl 1125.68053
Manea, Florin; Martin-Vide, Carlos; Mitrana, Victor
18
2007
Type-based termination of recursive definitions. Zbl 1054.68027
Barthe, G.; Frade, M. J.; Giménez, E.; Pinto, L.; Uustalu, T.
18
2004
The temporal logic of coalgebras via Galois algebras. Zbl 1030.03017
Jacobs, Bart
18
2002
The space of formal balls and models of quasi-metric spaces. Zbl 1168.54012
Ali-Akbari, M.; Honari, B.; Pourmahdian, M.; Rezaii, M. M.
17
2009
Temporal algebra. Zbl 0917.03011
von Karger, Burghard
17
1998
When Scott is weak on the top. Zbl 0917.28013
Edalat, Abbas
17
1997
On asynchrony in name-passing calculi. Zbl 1093.68026
Merro, Massimo; Sangiorgi, Davide
17
2004
Profunctors, open maps and bisimulation. Zbl 1169.68537
Cattani, Gian Luca; Winskel, Glynn
17
2005
Modular correspondence between dependent type theories and categories including pretopoi and topoi. Zbl 1093.03042
Maietti, Maria Emilia
17
2005
Borel ranks and Wadge degrees of context free \(\omega\)-languages. Zbl 1121.03047
Finkel, Olivier
17
2006
An introduction to differential linear logic: proof-nets, models and antiderivatives. Zbl 1456.03097
Ehrhard, Thomas
17
2018
Shannon entropy: a rigorous notion at the crossroads between probability, information theory, dynamical systems and statistical physics. Zbl 1342.94059
Lesne, Annick
16
2014
Univalent categories and the Rezk completion. Zbl 1362.18003
Ahrens, Benedikt; Kapulkin, Krzysztof; Shulman, Michael
16
2015
Geometry and concurrency: A user’s guide. Zbl 0956.68517
Goubault, Eric
16
2000
Continuous domains as formal spaces. Zbl 0994.06005
Negri, Sara
16
2002
Execution time of \(\lambda\)-terms via denotational semantics and intersection types. Zbl 1475.03073
De Carvalho, Daniel
16
2018
Brouwer’s fixed-point theorem in real-cohesive homotopy type theory. Zbl 1390.03014
Shulman, Michael
16
2018
On varieties and covarieties in a category. Zbl 1041.18007
Adámek, Jiří; Porst, Hans-E.
16
2003
Generalised coinduction. Zbl 1025.18002
Bartels, Falk
16
2003
From Petri nets to linear logic. Zbl 0746.03057
Martí-Oliet, Narciso; Meseguer, José
15
1991
Operations on records. Zbl 0727.68020
Cardelli, Luca; Mitchell, John C.
15
1991
Intuitionistic model constructions and normalization proofs. Zbl 0883.03009
Coquand, Thierry; Dybjer, Peter
15
1997
Relations among quantum processes: bisimilarity and congruence. Zbl 1122.68060
Lalire, Marie
15
2006
Resource convertibility and ordered commutative monoids. Zbl 1410.91308
Fritz, Tobias
15
2017
Constraint satisfaction algorithms for graph pattern matching. Zbl 1009.68103
Larrosa, Javier; Valiente, Gabriel
15
2002
Provable isomorphisms of types. Zbl 0763.03011
Bruce, Kim B.; Di Cosmo, Roberto; Longo, Giuseppe
14
1992
\(\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
14
2014
The formal ball model for \(\mathcal Q\)-categories. Zbl 1215.18005
Kostanek, Mateusz; Waszkiewicz, Paweł
14
2011
Topical categories of domains. Zbl 0946.18001
Vickers, Steven
14
1999
Statistical properties of simple types. Zbl 0966.03016
Moczurad, M.; Tyszkiewicz, J.; Zaionc, M.
14
2000
Implementing collection classes with monads. Zbl 0916.68016
Manes, Ernie G.
14
1998
Introduction to linear bicategories. Zbl 0991.18007
Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G.
14
2000
Closed reduction: explicit substitutions without \(\alpha\)-conversion. Zbl 1129.68409
Fernández, M.; Mackie, I.; Sinot, F.-R.
14
2005
What is a categorical model of the differential and the resource \(\lambda \)-calculi? Zbl 1243.68142
Manzonetto, Giulio
14
2012
Formalization of real analysis: a survey of proof assistants and libraries. Zbl 1364.68327
Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume
14
2016
Bitopological duality for distributive lattices and Heyting algebras. Zbl 1193.06012
Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander
14
2010
Algebra and logic for resource-based systems modelling. Zbl 1185.68441
Collinson, Matthew; Pym, David
14
2009
Products and projective limits of continuous valuations on \(T_0\) spaces. Zbl 1481.54009
Goubault-Larrecq, Jean
2
2021
Languages of higher-dimensional automata. Zbl 07527572
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof
2
2021
Modal descent. Zbl 1481.18029
Cherubini, Felix; Rijke, Egbert
1
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.
1
2021
Open Petri nets. Zbl 1457.68177
Baez, John C.; Master, Jade
3
2020
Cofree coalgebras and differential linear logic. Zbl 07283040
Clift, James; Murfet, Daniel
3
2020
A representation of proper BC domains based on conjunctive sequent calculi. Zbl 1478.03078
Wang, Longchun; Li, Qingguo
3
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
3
2020
Rewriting with generalized nominal unification. Zbl 07283034
Kutz, Yunus; Schmidt-Schauß, Manfred
2
2020
SMT-based verification of data-aware processes: a model-theoretic approach. Zbl 07283036
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
2
2020
Denotational semantics for guarded dependent type theory. Zbl 07283038
Bizjak, Aleš; Ejlers Møgelberg, Rasmus
2
2020
Nilpotent types and fracture squares in homotopy type theory. Zbl 07283042
Scoccola, Luis
2
2020
Noncommutative network models. Zbl 1442.18034
Moeller, Joe
2
2020
From Kruskal’s theorem to Friedman’s gap condition. Zbl 07348344
Freund, Anton
2
2020
Extensions of unificationmodulo ACUI. Zbl 07283028
Baader, Franz; Marantidis, Pavlos; Mottet, Antoine; Okhotin, Alexander
1
2020
Bounded ACh unification. Zbl 07283032
Eeralla, Ajay Kumar; Lynch, Christopher
1
2020
Computing knowledge in equational extensions of subterm convergent theories. Zbl 07283033
Erbatur, Serdar; Marshall, Andrew M.; Ringeissen, Christophe
1
2020
Implicative algebras: a new foundation for realizability and forcing. Zbl 07283041
Miquel, Alexandre
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
Monoidal-closed categories of tree automata. Zbl 1435.68183
Riba, Colin
1
2020
Multisets, heaps, bags, families: what is a multiset? Zbl 1478.03075
Jürgensen, Helmut
1
2020
Computable analysis with applications to dynamic systems. Zbl 1478.03072
Collins, Pieter
1
2020
Forward analysis for WSTS. I: Completions. Zbl 1491.68122
Finkel, Alain; Goubault-Larrecq, Jean
1
2020
Petri nets based on Lawvere theories. Zbl 07290837
Master, Jade
1
2020
Preserving cardinals and weak forms of Zorn’s lemma in realizability models. Zbl 1486.03080
Fontanella, Laura; Geoffroy, Guillaume
1
2020
Quantifiers on languages and codensity monads. Zbl 07382045
Gehrke, Mai; Petrişan, Daniela; Reggio, Luca
1
2020
Disintegration and Bayesian inversion via string diagrams. Zbl 1452.18008
Cho, Kenta; Jacobs, Bart
8
2019
Integral categories and calculus categories. Zbl 1408.18012
Cockett, J. R. B.; Lemay, J.-S.
7
2019
Subexponentials in non-commutative linear logic. Zbl 1456.03099
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
6
2019
A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras. Zbl 1422.68227
Hedges, Jules; Sadrzadeh, Mehrnoosh
5
2019
Strategic port graph rewriting: an interactive modelling framework. Zbl 1417.68076
Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno
5
2019
A deterministic rewrite system for the probabilistic \(\lambda\)-calculus. Zbl 1434.68091
Leventis, Thomas
5
2019
Expansion trees with cut. Zbl 1456.03085
Aschieri, Federico; Hetzl, Stefan; Weller, Daniel
4
2019
A homotopy-theoretic model of function extensionality in the effective topos. Zbl 1422.18005
Frumin, Dan; van den Berg, Benno
3
2019
A case study in programming coinductive proofs: Howe’s method. Zbl 1430.68418
Momigliano, Alberto; Pientka, Brigitte; Thibodeau, David
3
2019
Converging from branching to linear metrics on Markov chains. Zbl 1407.68278
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
2
2019
Quotienting the delay monad by weak bisimilarity. Zbl 1407.68306
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
2
2019
Implementing type theory in higher order constraint logic programming. Zbl 1430.68025
Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico
2
2019
Constructing weak simulations from linear implications for processes with private names. Zbl 1447.68008
Horne, Ross; Tiu, Alwen
2
2019
Categorical models of the differential \(\lambda\)-calculus. Zbl 1468.03019
Cockett, Robin; Gallagher, Jonathan
2
2019
On Banach spaces of sequences and free linear logic exponential modality. Zbl 1456.03106
Slavnov, Sergey
1
2019
Syllogistic logic with “most”. Zbl 1456.03021
Endrullis, Jörg; Moss, Lawrence S.
1
2019
Probabilistic logic over equations and domain restrictions. Zbl 1456.03045
Mordido, Andreia; Caleiro, Carlos
1
2019
Reasoning about knowledge and messages in asynchronous multi-agent systems. Zbl 1407.68471
Knight, Sophia; Maubert, Bastien; Schwarzentruber, François
1
2019
Optimal enforcement of (timed) properties with uncontrollable events. Zbl 1407.68299
Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Jéron, Thierry; Marchand, Hervé
1
2019
Realizability in ordered combinatory algebras with adjunction. Zbl 1456.03025
Ferrer Santos, Walter; Guillermo, Mauricio; Malherbe, Octavio
1
2019
Automorphisms of types in certain type theories and representation of finite groups. Zbl 1456.03028
Soloviev, Sergei
1
2019
Limits in categories of Vietoris coalgebras. Zbl 1417.68108
Hofmann, Dirk; Neves, Renato; Nora, Pedro
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
Hybrid linear logic, revisited. Zbl 1456.03095
Chaudhuri, Kaustuv; Despeyroux, Joëlle; Olarte, Carlos; Pimentel, Elaine
1
2019
A general proof certification framework for modal logic. Zbl 1430.68416
Libal, Tomer; Volpe, Marco
1
2019
The category of implicative algebras and realizability. Zbl 1468.03084
Ferrer Santos, Walter; Malherbe, Octavio
1
2019
Identity types and weak factorization systems in Cauchy complete categories. Zbl 1468.03017
North, Paige Randall
1
2019
An introduction to differential linear logic: proof-nets, models and antiderivatives. Zbl 1456.03097
Ehrhard, Thomas
17
2018
Execution time of \(\lambda\)-terms via denotational semantics and intersection types. Zbl 1475.03073
De Carvalho, Daniel
16
2018
Brouwer’s fixed-point theorem in real-cohesive homotopy type theory. Zbl 1390.03014
Shulman, Michael
16
2018
Polygraphs of finite derivation type. Zbl 1396.18004
Guiraud, Yves; Malbos, Philippe
12
2018
Natural models of homotopy type theory. Zbl 1456.03023
Awodey, Steve
10
2018
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Zbl 1400.68194
Felty, Amy; Momigliano, Alberto; Pientka, Brigitte
4
2018
An explicit formula for the free exponential modality of linear logic. Zbl 1456.03102
Melliès, Paul-André; Tabareau, Nicolas; Tasson, Christine
4
2018
Mackey-complete spaces and power series – a topological model of differential linear logic. Zbl 1456.03100
Kerjean, Marie; Tasson, Christine
4
2018
Mechanizing proofs with logical relations – Kripke-style. Zbl 1400.68193
Cave, Andrew; Pientka, Brigitte
3
2018
Realizability algebras. III: Some examples. Zbl 1383.03023
Krivine, Jean-Louis
3
2018
On the expressiveness of \(\pi\)-calculus for encoding mobile ambients. Zbl 1387.68164
Brodo, Linda
3
2018
Transport of finiteness structures and applications. Zbl 1456.03108
Tasson, Christine; Vaux, Lionel
3
2018
Validating Brouwer’s continuity principle for numbers using named exceptions. Zbl 1390.68584
Rahli, Vincent; Bickford, Mark
3
2018
Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality. Zbl 1400.68142
Perera, Roly; Cheney, James
2
2018
A quantum algorithm to approximate the linear structures of Boolean functions. Zbl 1382.68082
Li, Hongwei; Yang, Li
2
2018
A correspondence between maximal abelian sub-algebras and linear logic fragments. Zbl 1456.03105
Seiller, Thomas
2
2018
The true concurrency of differential interaction nets. Zbl 1398.68370
Mazza, Damiano
2
2018
Interactive and automated proofs for graph transformations. Zbl 1398.68286
Strecker, Martin
2
2018
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. Zbl 1386.68107
Bottoni, Paolo; Gorla, Daniele; Kasangian, Stefano; Labella, Anna
2
2018
Hoare semigroups. Zbl 1390.68440
Struth, Georg
2
2018
Plugging-in proof development environments using locks in \(\mathsf{LF}\). Zbl 1400.68195
Honsell, Furio; Liquori, Luigi; Maksimović, Petar; Scagnetto, Ivan
1
2018
Model structures on categories of models of type theories. Zbl 1478.03084
Isaev, Valery
1
2018
The genus of regular languages. Zbl 1382.68132
Bonfante, Guillaume; Deloup, Florian
1
2018
Linear pattern matching of compressed terms and polynomial rewriting. Zbl 1398.68283
Schmidt-Schauß, Manfred
1
2018
\(\theta\)-continuity and \(D_\theta\)-completion of posets. Zbl 1386.06008
Zhang, Zhongxi; Li, Qingguo; Jia, Xiaodong
1
2018
Yoneda completeness. Zbl 1392.54025
Bice, Tristan
1
2018
Coinductive predicates and final sequences in a fibration. Zbl 1386.68103
Hasuo, Ichiro; Kataoka, Toshiki; Cho, Kenta
1
2018
Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: a minimalist approach. Zbl 1390.68169
Solieri, Marco
1
2018
A linear/producer/consumer model of classical linear logic. Zbl 1456.03104
Paykin, Jennifer; Zdancewic, Steve
1
2018
Well-filtered spaces and their dcpo models. Zbl 1378.06005
Xi, Xiaoyong; Zhao, Dongsheng
23
2017
Resource convertibility and ordered commutative monoids. Zbl 1410.91308
Fritz, Tobias
15
2017
A time-free uniform solution to subset sum problem by tissue P systems with cell division. Zbl 1364.68207
Song, Bosheng; Song, Tao; Pan, Linqiang
13
2017
Generalizations of the distributed Deutsch-Jozsa promise problem. Zbl 1364.68211
Gruska, Jozef; Qiu, Daowen; Zheng, Shenggen
9
2017
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting. Zbl 1364.91026
Abramsky, Samson; Winschel, Viktor
8
2017
Towards a descriptive theory of cb\(_{0}\)-spaces. Zbl 1456.03077
Selivanov, Victor
8
2017
Essential and relational models. Zbl 1364.68131
Paolini, Luca; Piccolo, Mauro; Ronchi Della Rocca, Simona
6
2017
A comparison of concepts from computable analysis and effective descriptive set theory. Zbl 1456.03076
Gregoriades, Vassilios; Kispéter, Tamás; Pauly, Arno
6
2017
Many-one reductions and the category of multivalued functions. Zbl 1423.03157
Pauly, Arno
5
2017
Isomorphism theorems between models of mixed choice. Zbl 1378.68111
Goubault-Larrecq, Jean
5
2017
A rewriting framework and logic for activities subject to regulations. Zbl 1364.68333
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
4
2017
Structure and properties of strong prefix codes of pictures. Zbl 1364.94495
Anselmo, Marcella; Giammarresi, Dora; Madonia, Maria
4
2017
Fast circular dictionary-matching algorithm. Zbl 1362.68299
Athar, Tanver; Barton, Carl; Bland, Widmer; Gao, Jia; Iliopoulos, Costas S.; Liu, Chang; Pissis, Solon P.
4
2017
On computability and disintegration. Zbl 1423.03251
Ackerman, Nathanael L.; Freer, Cameron E.; Roy, Daniel M.
3
2017
On the computational complexity of the Dirichlet problem for Poisson’s equation. Zbl 1456.03069
Kawamura, Akitoshi; Steinberg, Florian; Ziegler, Martin
3
2017
The conservation theorem for differential nets. Zbl 1456.03103
Pagani, Michele; Tranquilli, Paolo
3
2017
Isomorphism of intersection and union types. Zbl 1364.68128
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
2
2017
...and 674 more Documents
all top 5

Cited by 3,748 Authors

36 Adámek, Jiří
36 Milius, Stefan
26 Jacobs, Bart
26 Yoshida, Nobuko
25 Corradini, Andrea
24 Gadducci, Fabio
24 Montanari, Ugo G.
24 Sangiorgi, Davide
23 Bonchi, Filippo
23 Dezani-Ciancaglini, Mariangiola
23 Ésik, Zoltán
22 Baldan, Paolo
21 Ehrig, Hartmut
20 Ehrhard, Thomas
20 Velebil, Jiří
19 Hötzel Escardó, Martín
19 Rutten, Jan J. M. M.
18 Schröder, Lutz
18 Xi, Xiaoyong
17 Cockett, J. Robin B.
17 Dal Lago, Ugo
17 Diaconescu, Răzvan
17 Fu, Yuxi
17 Konno, Norio
17 Power, John
17 Pym, David J.
17 Zhao, Dongsheng
16 Birkedal, Lars
16 Bruni, Roberto
16 Kesner, Delia
16 Pérez, Jorge A.
16 Romaguera Bonilla, Salvador
16 Silva, Alexandra
16 Winskel, Glynn
15 Coquand, Thierry
15 Scott, Philip J.
15 Selivanov, Viktor L’vovich
14 Abel, Andreas M.
14 Aceto, Luca
14 Blute, Richard F.
14 Ghani, Neil
14 Hyland, J. Martin E.
14 Manzonetto, Giulio
14 Orejas, Fernando
14 Vickers, Steven
13 Arbab, Farhad
13 Danos, Vincent
13 Edalat, Abbas
13 Finkel, Olivier
13 Hennessy, Matthew C. B.
13 Keimel, Klaus
13 König, Barbara
13 Mossakowski, Till
13 Pfenning, Frank
13 Sadrzadeh, Mehrnoosh
13 Schmidt-Schauß, Manfred
13 Xu, Xiaoquan
12 Bergstra, Jan A.
12 Cockett, Robin
12 Duan, Zhenhua
12 Duval, Dominique
12 Fernández, Maribel
12 Kurz, Alexander
12 Panangaden, Prakash
12 Schuster, Peter Michael
12 Straßburger, Lutz
12 Uustalu, Tarmo
12 Valero, Oscar
12 Ying, Mingsheng
12 Zorzi, Margherita
11 Abramsky, Samson
11 Coecke, Bob
11 Danvy, Olivier
11 Fiore, Marcelo P.
11 Goubault-Larrecq, Jean
11 Horne, Ross
11 Labella, Anna
11 Legay, Axel
11 Levy, Paul Blain
11 Li, Qingguo
11 Maietti, Maria Emilia
11 Meseguer Guaita, José
11 Miller, Dale Allen
11 Mitrana, Victor
11 Paolini, Luca
11 Pavlović, Duško
11 Simpson, Alex K.
10 Ahrens, Benedikt
10 Aydi, Hassen Mohamed
10 Baier, Christel
10 Bonsangue, Marcello Maria
10 Bucciarelli, Antonio
10 Deng, Yuxin
10 Fahrenberg, Uli
10 Feng, Yuan
10 Harju, Tero
10 Hofmann, Dirk
10 Honda, Kohei
10 Ingólfsdóttir, Anna
10 Kanovich, Max Iosifovich
...and 3,648 more Authors
all top 5

Cited in 302 Journals

549 Theoretical Computer Science
225 MSCS. Mathematical Structures in Computer Science
212 Information and Computation
153 Annals of Pure and Applied Logic
138 Logical Methods in Computer Science
77 Journal of Pure and Applied Algebra
75 Journal of Logical and Algebraic Methods in Programming
62 Topology and its Applications
59 Journal of Functional Programming
58 Applied Categorical Structures
50 Formal Aspects of Computing
49 Journal of Automated Reasoning
41 The Journal of Symbolic Logic
40 The Journal of Logic and Algebraic Programming
39 Quantum Information Processing
38 Acta Informatica
33 Studia Logica
30 Theory and Applications of Categories
29 Information Processing Letters
29 Science of Computer Programming
28 International Journal of Theoretical Physics
27 Fuzzy Sets and Systems
25 RAIRO. Theoretical Informatics and Applications
23 Journal of Computer and System Sciences
22 Archive for Mathematical Logic
21 Journal of Applied Logic
18 Soft Computing
18 Logica Universalis
17 Algebra Universalis
17 Higher-Order and Symbolic Computation
15 Fixed Point Theory and Applications
14 The Bulletin of Symbolic Logic
14 Theory of Computing Systems
13 Journal of Algebra
13 Journal of Philosophical Logic
13 International Journal of Foundations of Computer Science
12 Semigroup Forum
12 Natural Computing
11 Information Sciences
11 Synthese
11 Journal of Symbolic Computation
11 ACM Transactions on Computational Logic
10 Discrete Applied Mathematics
10 Advances in Mathematics
10 Mathematical Logic Quarterly (MLQ)
10 Annals of Mathematics and Artificial Intelligence
9 Journal of Logic, Language and Information
8 Applied Mathematics and Computation
8 Journal of Computer Science and Technology
8 International Journal of Approximate Reasoning
8 Journal of Applied Non-Classical Logics
8 Fundamenta Informaticae
8 Sibirskie Èlektronnye Matematicheskie Izvestiya
7 Cahiers de Topologie et Géométrie Différentielle Catégoriques
7 International Journal of Algebra and Computation
7 Distributed Computing
7 Higher Structures
6 Communications in Algebra
6 Journal of Mathematical Physics
6 Journal of Statistical Physics
6 New Generation Computing
6 International Journal of Computer Mathematics
6 Linear Algebra and its Applications
6 Abstract and Applied Analysis
6 RAIRO. Theoretical Informatics and Applications
5 Demonstratio Mathematica
5 International Journal of Mathematics and Mathematical Sciences
5 Notre Dame Journal of Formal Logic
5 Proceedings of the American Mathematical Society
5 Order
5 Journal of Algebraic Combinatorics
5 Journal of Mathematical Sciences (New York)
5 Diagrammes
5 Mathematical Problems in Engineering
5 Computer Languages, Systems & Structures
5 Cahiers de Topologie et Géométrie Différentielle Catégoriques
5 Journal of Physics A: Mathematical and Theoretical
5 Journal of Homotopy and Related Structures
5 Computer Science Review
4 Communications in Mathematical Physics
4 Physics Letters. A
4 Automatica
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 The Electronic Journal of Combinatorics
4 Journal of Combinatorial Optimization
4 Interdisciplinary Information Sciences (IIS)
4 Mathematics in Computer Science
4 Tbilisi Mathematical Journal
4 The Review of Symbolic Logic
4 Quantum Studies: Mathematics and Foundations
4 Categories and General Algebraic Structures with Applications
3 Artificial Intelligence
3 Classical and Quantum Gravity
3 Computers & Mathematics with Applications
3 Lithuanian Mathematical Journal
...and 202 more Journals
all top 5

Cited in 55 Fields

2,596 Computer science (68-XX)
1,530 Mathematical logic and foundations (03-XX)
769 Category theory; homological algebra (18-XX)
304 Order, lattices, ordered algebraic structures (06-XX)
282 Quantum theory (81-XX)
245 General topology (54-XX)
112 Combinatorics (05-XX)
95 General algebraic systems (08-XX)
78 Information and communication theory, circuits (94-XX)
77 Probability theory and stochastic processes (60-XX)
73 Algebraic topology (55-XX)
61 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
58 Biology and other natural sciences (92-XX)
55 Group theory and generalizations (20-XX)
49 Associative rings and algebras (16-XX)
32 Statistical mechanics, structure of matter (82-XX)
30 Functional analysis (46-XX)
29 Operator theory (47-XX)
25 History and biography (01-XX)
24 Commutative algebra (13-XX)
23 Dynamical systems and ergodic theory (37-XX)
23 Operations research, mathematical programming (90-XX)
22 Systems theory; control (93-XX)
18 General and overarching topics; collections (00-XX)
17 Measure and integration (28-XX)
17 Numerical analysis (65-XX)
15 Real functions (26-XX)
15 Statistics (62-XX)
14 Topological groups, Lie groups (22-XX)
12 Nonassociative rings and algebras (17-XX)
11 Linear and multilinear algebra; matrix theory (15-XX)
11 Manifolds and cell complexes (57-XX)
10 Field theory and polynomials (12-XX)
10 Algebraic geometry (14-XX)
9 Geometry (51-XX)
9 Relativity and gravitational theory (83-XX)
7 Convex and discrete geometry (52-XX)
7 Global analysis, analysis on manifolds (58-XX)
7 Mechanics of particles and systems (70-XX)
6 Number theory (11-XX)
6 \(K\)-theory (19-XX)
6 Ordinary differential equations (34-XX)
6 Partial differential equations (35-XX)
4 Differential geometry (53-XX)
4 Mathematics education (97-XX)
3 Calculus of variations and optimal control; optimization (49-XX)
2 Difference and functional equations (39-XX)
1 Functions of a complex variable (30-XX)
1 Special functions (33-XX)
1 Sequences, series, summability (40-XX)
1 Integral equations (45-XX)
1 Fluid mechanics (76-XX)
1 Optics, electromagnetic theory (78-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Geophysics (86-XX)

Citations by Year