×

zbMATH — the first resource for mathematics

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,044 Publications (since 1991)
References Indexed: 683 Publications with 17,515 References.
all top 5

Latest Issues

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)
18, No. 4 (2008)
18, No. 3 (2008)
18, No. 2 (2008)
18, No. 1 (2008)
17, No. 6 (2007)
17, No. 5 (2007)
17, No. 4 (2007)
17, No. 3 (2007)
17, No. 2 (2007)
...and 83 more Volumes
all top 5

Authors

15 Ehrig, Hartmut
11 Velebil, Jiří
10 Adámek, Jiří
9 Goubault-Larrecq, Jean
8 Busi, Nadia
8 Dezani-Ciancaglini, Mariangiola
8 Longo, Giuseppe
8 Montanari, Ugo G.
7 Kurz, Alexander
7 Orejas, Fernando
7 Sangiorgi, Davide
7 Streicher, Thomas
6 Abramsky, Samson
6 Berger, Ulrich
6 Birkedal, Lars
6 Cockett, J. Robin B.
6 Corradini, Andrea
6 Gorla, Daniele
6 Habel, Annegret
6 Jacobs, Bart
6 Li, Qingguo
6 Rutten, Jan J. M. M.
6 Zavattaro, Gianluigi
5 Awodey, Steve
5 Cardelli, Luca
5 Dal Lago, Ugo
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 Kanovich, Max Iosifovich
5 Milius, Stefan
5 Møgelberg, Rasmus Ejlers
5 Petrić, Zoran
5 Zucca, Elena
4 Aceto, Luca
4 Asperti, Andrea
4 Baldan, Paolo
4 Barthe, Gilles
4 Blute, Richard F.
4 Bonchi, Filippo
4 Bruni, Roberto
4 Calude, Cristian S.
4 Coquand, Thierry
4 Costa, José Félix
4 Curien, Pierre-Louis
4 Di Cosmo, Roberto
4 Doberkat, Ernst-Erich
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 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 Spreen, Dieter
4 Tsuiki, Hideki
4 Van den Berg, Benno
4 Vickers, Steven
4 Walters, Robert F. C.
4 Winskel, Glynn
3 Ancona, Davide
3 Aschieri, Federico
3 Baeten, Jos C. M.
3 Barr, Michael
3 Beggs, Edwin J.
3 Berardi, Stefano
3 Berline, Chantal
3 Bonfante, Guillaume
3 Boreale, Michele
...and 1,250 more Authors
all top 5

Fields

661 Computer science (68-XX)
457 Mathematical logic and foundations (03-XX)
231 Category theory; homological algebra (18-XX)
74 Order, lattices, ordered algebraic structures (06-XX)
50 General and overarching topics; collections (00-XX)
39 Quantum theory (81-XX)
36 General topology (54-XX)
23 General algebraic systems (08-XX)
18 Information and communication theory, circuits (94-XX)
16 Probability theory and stochastic processes (60-XX)
16 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
14 Combinatorics (05-XX)
12 Algebraic topology (55-XX)
10 Group theory and generalizations (20-XX)
10 Systems theory; control (93-XX)
9 Measure and integration (28-XX)
9 Operations research, mathematical programming (90-XX)
9 Biology and other natural sciences (92-XX)
8 Dynamical systems and ergodic theory (37-XX)
8 Statistical mechanics, structure of matter (82-XX)
6 History and biography (01-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

723 Publications have been cited 4,870 times in 3,514 Documents Cited by Year
Functions as processes. Zbl 0773.03012
Milner, Robin
95
1992
Typing and subtyping for mobile processes. Zbl 0861.68030
Pierce, Benjamin; Sangiorgi, Davide
71
1996
Quantales, observational logic and process semantics. Zbl 0823.06011
Abramsky, Samson; Vickers, Steven
69
1993
Towards a quantum programming language. Zbl 1085.68014
Selinger, Peter
63
2004
A new constructive logic: Classical logic. Zbl 0752.03027
Girard, Jean-Yves
61
1991
Reo: a channel-based coordination model for component composition. Zbl 1085.68552
Arbab, Farhad
61
2004
Locus solum: From the rules of logic to the logic of rules. Zbl 1051.03045
Girard, Jean-Yves
60
2001
Spaces of maximal points. Zbl 0985.54025
Lawson, Jimmie
56
1997
A quantitative computational model for complete partial metric spaces via formal balls. Zbl 1172.06003
Romaguera, Salvador; Valero, Oscar
56
2009
Decoherence in quantum walks - a review. Zbl 1130.81325
Kendon, Viv
53
2007
Comprehending monads. Zbl 0798.68040
Wadler, Philip
50
1992
A judgmental reconstruction of modal logic. Zbl 0997.03020
Pfenning, Frank; Davies, Rowan
47
2001
Premonoidal categories and notions of computation. Zbl 0897.18002
Power, John; Robinson, Edmund
47
1997
An approach to object semantics based on terminal co-algebras. Zbl 0854.18006
Reichel, Horst
44
1995
Equational axioms for regular sets. Zbl 0796.68153
Bloom, S. L.; Ésik, Z.
41
1993
Finiteness spaces. Zbl 1084.03048
Ehrhard, Thomas
38
2005
On the bisimulation proof method. Zbl 0916.68057
Sangiorgi, Davide
38
1998
\(*\)-autonomous categories and linear logic. Zbl 0777.18006
Barr, Michael
37
1991
Control categories and duality: On the categorical semantics of the lambda-mu calculus. Zbl 0984.18003
Selinger, Peter
37
2001
Connected limits, familial representability and Artin glueing. Zbl 0849.18002
Carboni, Aurelio; Johnstone, Peter
32
1995
Distributing probability over non-determinism. Zbl 1093.18002
Varacca, Daniele; Winskel, Glynn
30
2006
Geometry of interaction and linear combinatory algebras. Zbl 1014.03056
Abramsky, Samson; Haghverdi, Esfandiar; Scott, Philip
29
2002
Representing control: A study of the CPS transformation. Zbl 0798.68102
Danvy, Olivier; Filinski, Andrzej
29
1992
On the foundations of final coalgebra semantics: Non-well-founded sets, partial orders, metric spaces. Zbl 0917.68140
Turi, Daniele; Rutten, Jan
28
1998
Partial metrisability of continuous posets. Zbl 1103.06004
Waszkiewicz, Pawel
28
2006
Differential categories. Zbl 1115.03092
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
27
2006
Iterative algebras at work. Zbl 1112.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
26
2006
Parametric polymorphism and operational equivalence. Zbl 0955.68024
Pitts, Andrew M.
25
2000
Introduction to distributive categories. Zbl 0793.18006
Cockett, J. R. B.
25
1993
The structure of interlaced bilattices. Zbl 0856.06005
Avron, A.
25
1996
A lambda calculus for quantum computation with classical control. Zbl 1122.68033
Selinger, Peter; Valiron, Benoit
25
2006
A coinductive calculus of streams. Zbl 1068.68061
Rutten, J. J. M. M.
24
2005
A categorical manifesto. Zbl 0747.18001
Goguen, Joseph A.
23
1991
Constructive natural deduction and its “\(\omega\)-set” interpretation. Zbl 0756.03028
Longo, Giuseppe; Moggi, Eugenio
23
1991
Coherence of subsumption, minimum typing and type-checking in \(F_ \leq\). Zbl 0765.03008
Curien, Pierre-Louis; Ghelli, Giorgio
23
1992
The semantics of BI and resource tableaux. Zbl 1145.03308
Galmiche, D.; Méry, D.; Pym, D.
23
2005
Parallelism and concurrency in high-level replacement systems. Zbl 0749.68045
Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco
22
1991
Correctness of high-level transformation systems relative to nested conditions. Zbl 1168.68022
Habel, Annegret; Pennemann, Karl-Heinz
22
2009
Quantum programming languages: survey and bibliography. Zbl 1122.68021
Gay, Simon J.
22
2006
Equational properties of mobile ambients. Zbl 1085.68099
Gordon, Andrew D.; Cardelli, Luca
21
2003
Domain theoretic characterisations of quasi-metric completeness in terms of formal balls. Zbl 1193.54016
Romaguera, Salvador; Valero, Oscar
21
2010
Hypercoherences: A strongly stable model of linear logic. Zbl 0802.68079
Ehrhard, Thomas
19
1993
On the semantics of place/transition Petri nets. Zbl 0876.68072
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
19
1997
A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes. Zbl 0857.68042
Hirshfeld, Yoram; Jerrum, Mark; Moller, Faron
19
1996
LQP: the dynamic logic of quantum information. Zbl 1103.03031
Baltag, Alexandru; Smets, Sonja
19
2006
On Köthe sequence spaces and linear logic. Zbl 1025.03066
Ehrhard, Thomas
18
2002
The temporal logic of coalgebras via Galois algebras. Zbl 1030.03017
Jacobs, Bart
18
2002
Unique decomposition categories, geometry of interaction and combinatory logic. Zbl 0951.03062
Haghverdi, Esfandiar
18
2000
Demonic operators and monotype factors. Zbl 0797.68114
Backhouse, Roland; van der Woude, Jaap
18
1993
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
18
1994
Linear time computable problems and first-order descriptions. Zbl 0862.68056
Seese, Detlef
18
1996
Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca
18
2016
Quantum weakest preconditions. Zbl 1122.68058
D’Hondt, Ellie; Panangaden, Prakash
18
2006
When Scott is weak on the top. Zbl 0917.28013
Edalat, Abbas
17
1997
Type-based termination of recursive definitions. Zbl 1054.68027
Barthe, G.; Frade, M. J.; Giménez, E.; Pinto, L.; Uustalu, T.
17
2004
Well-filtered spaces and their dcpo models. Zbl 1378.06005
Xi, Xiaoyong; Zhao, Dongsheng
17
2017
Univalence for inverse diagrams and homotopy canonicity. Zbl 1362.03008
Shulman, Michael
17
2015
On the size complexity of universal accepting hybrid networks of evolutionary processors. Zbl 1125.68053
Manea, Florin; Martin-Vide, Carlos; Mitrana, Victor
17
2007
A logical approach to abstract algebra. Zbl 1118.03059
Coquand, Thierry; Lombardi, Henri
17
2006
Geometry and concurrency: A user’s guide. Zbl 0956.68517
Goubault, Eric
16
2000
Temporal algebra. Zbl 0917.03011
von Karger, Burghard
16
1998
On asynchrony in name-passing calculi. Zbl 1093.68026
Merro, Massimo; Sangiorgi, Davide
16
2004
The space of formal balls and models of quasi-metric spaces. Zbl 1168.54012
Ali-Akbari, M.; Honari, B.; Pourmahdian, M.; Rezaii, M. M.
16
2009
From Petri nets to linear logic. Zbl 0746.03057
Martí-Oliet, Narciso; Meseguer, José
15
1991
On varieties and covarieties in a category. Zbl 1041.18007
Adámek, Jiří; Porst, Hans-E.
15
2003
Generalised coinduction. Zbl 1025.18002
Bartels, Falk
15
2003
Double-pushout graph transformation revisited. Zbl 0987.18005
Habel, Annegret; Müller, Jürgen; Plump, Detlef
15
2001
Profunctors, open maps and bisimulation. Zbl 1169.68537
Cattani, Gian Luca; Winskel, Glynn
15
2005
Continuous domains as formal spaces. Zbl 0994.06005
Negri, Sara
15
2002
Modular correspondence between dependent type theories and categories including pretopoi and topoi. Zbl 1093.03042
Maietti, Maria Emilia
15
2005
Borel ranks and Wadge degrees of context free \(\omega\)-languages. Zbl 1121.03047
Finkel, Olivier
15
2006
A new description of orthogonal bases. Zbl 1276.46016
Coecke, Bob; Pavlovic, Dusko; Vicary, Jamie
14
2013
Constraint satisfaction algorithms for graph pattern matching. Zbl 1009.68103
Larrosa, Javier; Valiente, Gabriel
14
2002
Statistical properties of simple types. Zbl 0966.03016
Moczurad, M.; Tyszkiewicz, J.; Zaionc, M.
14
2000
Operations on records. Zbl 0727.68020
Cardelli, Luca; Mitchell, John C.
14
1991
Restriction categories. III: Colimits, partial limits and extensivity. Zbl 1123.18003
Cockett, Robin; Lack, Stephen
14
2007
The algebraic lambda calculus. Zbl 1186.03025
Vaux, Lionel
14
2009
Free iterative theories: A coalgebraic view. Zbl 1030.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
13
2003
A semantics for lambda calculi with resources. Zbl 0935.03022
Boudol, Gérard; Curien, Pierre-Louis; Lavatelli, Carolina
13
1999
Topical categories of domains. Zbl 0946.18001
Vickers, Steven
13
1999
Implementing collection classes with monads. Zbl 0916.68016
Manes, Ernie G.
13
1998
Intuitionistic model constructions and normalization proofs. Zbl 0883.03009
Coquand, Thierry; Dybjer, Peter
13
1997
Closed reduction: explicit substitutions without \(\alpha\)-conversion. Zbl 1129.68409
Fernández, M.; Mackie, I.; Sinot, F.-R.
13
2005
Selection functions, bar recursion and backward induction. Zbl 1207.03072
Escardó, Martín; Oliva, Paulo
13
2010
Tripos theory in retrospect. Zbl 1005.18005
Pitts, Andrew M.
13
2002
Univalent categories and the Rezk completion. Zbl 1362.18003
Ahrens, Benedikt; Kapulkin, Krzysztof; Shulman, Michael
13
2015
An experimental library of formalized mathematics based on the univalent foundations. Zbl 1361.68192
Voevodsky, Vladimir
13
2015
Wadge-like reducibilities on arbitrary quasi-Polish spaces. Zbl 1362.03042
Motto Ros, Luca; Schlicht, Philipp; Selivanov, Victor
13
2015
Algebra and logic for resource-based systems modelling. Zbl 1185.68441
Collinson, Matthew; Pym, David
13
2009
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
12
2011
A new method for establishing conservativity of classical systems over their intuitionistic version. Zbl 0935.03069
Coquand, Thierry; Hofmann, Martin
12
1999
Introduction to linear bicategories. Zbl 0991.18007
Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G.
12
2000
Homotopy invariants of higher dimensional categories and concurrency in computer science. Zbl 0956.68097
Gaucher, Philippe
12
2000
Algebraic spans. Zbl 0956.68098
Herlihy, Maurice; Rajsbaum, Sergio
12
2000
Provable isomorphisms of types. Zbl 0763.03011
Bruce, Kim B.; Di Cosmo, Roberto; Longo, Giuseppe
12
1992
Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067
Goguen, Joseph A.; Malcolm, Grant
12
1999
Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko
12
2005
Efficient recursive subtyping. Zbl 0840.03007
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
12
1995
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058
Bruni, Roberto; Meseguer, José; Montanari, Ugo
12
2002
Bitopological duality for distributive lattices and Heyting algebras. Zbl 1193.06012
Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander
12
2010
A representation of proper BC domains based on conjunctive sequent calculi. Zbl 07179027
Wang, Longchun; Li, Qingguo
3
2020
Noncommutative network models. Zbl 1442.18034
Moeller, Joe
2
2020
Cofree coalgebras and differential linear logic. Zbl 07283040
Clift, James; Murfet, Daniel
2
2020
Monoidal-closed categories of tree automata. Zbl 1435.68183
Riba, Colin
1
2020
Modal dependent type theory and dependent right adjoints. Zbl 07179032
Birkedal, Lars; Clouston, Ranald; Mannaa, Bassel; Ejlers Møgelberg, Rasmus; Pitts, Andrew M.; Spitters, Bas
1
2020
Open Petri nets. Zbl 1457.68177
Baez, John C.; Master, Jade
1
2020
Denotational semantics for guarded dependent type theory. Zbl 07283038
Bizjak, Aleš; Ejlers Møgelberg, Rasmus
1
2020
Integral categories and calculus categories. Zbl 1408.18012
Cockett, J. R. B.; Lemay, J.-S.
6
2019
Disintegration and Bayesian inversion via string diagrams. Zbl 1452.18008
Cho, Kenta; Jacobs, Bart
4
2019
Converging from branching to linear metrics on Markov chains. Zbl 1407.68278
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu
2
2019
Subexponentials in non-commutative linear logic. Zbl 1456.03099
Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre
2
2019
A case study in programming coinductive proofs: Howe’s method. Zbl 1430.68418
Momigliano, Alberto; Pientka, Brigitte; Thibodeau, David
2
2019
A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras. Zbl 1422.68227
Hedges, Jules; Sadrzadeh, Mehrnoosh
2
2019
A homotopy-theoretic model of function extensionality in the effective topos. Zbl 1422.18005
Frumin, Dan; van den Berg, Benno
2
2019
The category of implicative algebras and realizability. Zbl 07196237
Ferrer Santos, Walter; Malherbe, Octavio
1
2019
Identity types and weak factorization systems in Cauchy complete categories. Zbl 07196239
North, Paige Randall
1
2019
Quotienting the delay monad by weak bisimilarity. Zbl 1407.68306
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò
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
Expansion trees with cut. Zbl 1456.03085
Aschieri, Federico; Hetzl, Stefan; Weller, Daniel
1
2019
Probabilistic logic over equations and domain restrictions. Zbl 1456.03045
Mordido, Andreia; Caleiro, Carlos
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
Strategic port graph rewriting: an interactive modelling framework. Zbl 1417.68076
Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno
1
2019
Polygraphs of finite derivation type. Zbl 1396.18004
Guiraud, Yves; Malbos, Philippe
9
2018
Execution time of \(\lambda\)-terms via denotational semantics and intersection types. Zbl 06914144
De Carvalho, Daniel
8
2018
Brouwer’s fixed-point theorem in real-cohesive homotopy type theory. Zbl 1390.03014
Shulman, Michael
8
2018
An introduction to differential linear logic: proof-nets, models and antiderivatives. Zbl 1456.03097
Ehrhard, Thomas
7
2018
Natural models of homotopy type theory. Zbl 1456.03023
Awodey, Steve
4
2018
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Zbl 1400.68194
Felty, Amy; Momigliano, Alberto; Pientka, Brigitte
3
2018
On the expressiveness of \(\pi\)-calculus for encoding mobile ambients. Zbl 1387.68164
Brodo, Linda
3
2018
Mackey-complete spaces and power series – a topological model of differential linear logic. Zbl 1456.03100
Kerjean, Marie; Tasson, Christine
3
2018
Mechanizing proofs with logical relations – Kripke-style. Zbl 1400.68193
Cave, Andrew; Pientka, Brigitte
2
2018
Realizability algebras. III: Some examples. Zbl 1383.03023
Krivine, Jean-Louis
2
2018
A correspondence between maximal abelian sub-algebras and linear logic fragments. Zbl 1456.03105
Seiller, Thomas
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
Transport of finiteness structures and applications. Zbl 1456.03108
Tasson, Christine; Vaux, Lionel
2
2018
The true concurrency of differential interaction nets. Zbl 1398.68370
Mazza, Damiano
2
2018
Validating Brouwer’s continuity principle for numbers using named exceptions. Zbl 1390.68584
Rahli, Vincent; Bickford, Mark
2
2018
Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality. Zbl 1400.68142
Perera, Roly; Cheney, James
1
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 06965096
Isaev, Valery
1
2018
A quantum algorithm to approximate the linear structures of Boolean functions. Zbl 1382.68082
Li, Hongwei; Yang, Li
1
2018
The genus of regular languages. Zbl 1382.68132
Bonfante, Guillaume; Deloup, Florian
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
Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: a minimalist approach. Zbl 1390.68169
Solieri, Marco
1
2018
Interactive and automated proofs for graph transformations. Zbl 1398.68286
Strecker, Martin
1
2018
An explicit formula for the free exponential modality of linear logic. Zbl 1456.03102
Melliès, Paul-André; Tabareau, Nicolas; Tasson, Christine
1
2018
Well-filtered spaces and their dcpo models. Zbl 1378.06005
Xi, Xiaoyong; Zhao, Dongsheng
17
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
12
2017
Resource convertibility and ordered commutative monoids. Zbl 1410.91308
Fritz, Tobias
9
2017
Generalizations of the distributed Deutsch-Jozsa promise problem. Zbl 1364.68211
Gruska, Jozef; Qiu, Daowen; Zheng, Shenggen
8
2017
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting. Zbl 1364.91026
Abramsky, Samson; Winschel, Viktor
7
2017
Essential and relational models. Zbl 1364.68131
Paolini, Luca; Piccolo, Mauro; Ronchi Della Rocca, Simona
5
2017
Towards a descriptive theory of cb\(_{0}\)-spaces. Zbl 1456.03077
Selivanov, Victor
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
Many-one reductions and the category of multivalued functions. Zbl 1423.03157
Pauly, Arno
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.
3
2017
A comparison of concepts from computable analysis and effective descriptive set theory. Zbl 1456.03076
Gregoriades, Vassilios; Kispéter, Tamás; Pauly, Arno
3
2017
Permutation classes and polyomino classes with excluded submatrices. Zbl 1364.05021
Battaglino, Daniela; Bouvel, Mathilde; Frosini, Andrea; Rinaldi, Simone
2
2017
Isomorphism of intersection and union types. Zbl 1364.68128
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
2
2017
The parametric continuation monad. Zbl 1388.03059
Melliès, Paul-André
2
2017
The infinitary lambda calculus of the infinite eta Böhm trees. Zbl 1371.03018
Severi, Paula; de Vries, Fer-Jan
2
2017
Transcendental syntax. I: Deterministic case. Zbl 1423.03248
Girard, Jean-Yves
2
2017
The conservation theorem for differential nets. Zbl 1456.03103
Pagani, Michele; Tranquilli, Paolo
2
2017
On computability and disintegration. Zbl 1423.03251
Ackerman, Nathanael L.; Freer, Cameron E.; Roy, Daniel M.
2
2017
Linked data privacy. Zbl 1364.68073
Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia
1
2017
Equational axioms associated with finite automata for fixed point operations in Cartesian categories. Zbl 1364.68267
Ésik, Zoltán
1
2017
Cartesian differential categories revisited. Zbl 1375.18026
Cruttwell, G. S. H.
1
2017
Ordered combinatory algebras and realizability. Zbl 1423.03053
Ferrer Santos, Walter; Frey, Jonas; Guillermo, Mauricio; Malherbe, Octavio; Miquel, Alexandre
1
2017
Type safe incremental rebinding. Zbl 1362.68035
Ancona, Davide; Giannini, Paola; Zucca, Elena
1
2017
A Gray code for cross-bifix-free sets. Zbl 1364.68315
Bernini, Antonio; Bilotta, Stefano; Pinzani, Renzo; Vajnovszki, Vincent
1
2017
On lookahead equilibria in congestion games. Zbl 1364.91012
Bilò, Vittorio; Fanelli, Angelo; Moscardelli, Luca
1
2017
Multi-level dynamo and opinion spreading. Zbl 1364.91124
Brunetti, Sara; Cordasco, Gennaro; Lodi, Elena; Gargano, Luisa; Quattrociocchi, Walter
1
2017
Representation of algebraic domains by formal association rule systems. Zbl 1362.68274
Guo, Lankun; Li, Qingguo; Valtchev, Petko; Lin, Yaping
1
2017
A stable universal domain related to \(\mathbb{T}^{\omega}\). Zbl 1423.06023
Zhao, Haoran; Kou, Hui
1
2017
Classical lambda calculus in modern dress. Zbl 1423.03054
Hyland, J. M. E.
1
2017
Clocked lambda calculus. Zbl 1387.03013
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew
1
2017
Constructive forcing, CPS translations and witness extraction in interactive realizability. Zbl 1456.03109
Aschieri, Federico
1
2017
Isomorphism theorems between models of mixed choice. Zbl 1378.68111
Goubault-Larrecq, Jean
1
2017
Computations with oracles that measure vanishing quantities. Zbl 1382.68065
Beggs, Edwin; Costa, José Félix; Poças, Diogo; Tucker, John V.
1
2017
Computable elements and functions in effectively enumerable topological spaces. Zbl 06810754
Korovina, Margarita; Kudinov, Oleg
1
2017
Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca
18
2016
Formalization of real analysis: a survey of proof assistants and libraries. Zbl 1364.68327
Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume
12
2016
Linear logic propositions as session types. Zbl 1361.68162
Caires, Luís; Pfenning, Frank; Toninho, Bernardo
11
2016
On quantum lambda calculi: a foundational perspective. Zbl 1364.68208
Zorzi, Margherita
10
2016
Characterizing co-NL by a group action. Zbl 1362.68084
Aubert, Clément; Seiller, Thomas
7
2016
Modelling session types using contracts. Zbl 1361.68160
Bernardi, Giovanni; Hennessy, Matthew
6
2016
Relating timed and register automata. Zbl 1362.68138
Figueira, Diego; Hofman, Piotr; Lasota, Sławomir
5
2016
On asynchronous eventful session semantics. Zbl 1361.68170
Kouzapas, Dimitrios; Yoshida, Nobuko; Hu, Raymond; Honda, Kohei
5
2016
Information flow safety in multiparty sessions. Zbl 1362.68204
Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola
4
2016
Fair subtyping for multi-party session types. Zbl 1361.68172
Padovani, Luca
4
2016
Full abstraction for expressiveness: history, myths and facts. Zbl 1361.68028
Gorla, Daniele; Nestmann, Uwe
4
2016
Encoding hybridized institutions into first-order logic. Zbl 1362.03058
Diaconescu, Răzvan; Madeira, Alexandre
4
2016
Specifying Peirce’s law in classical realizability. Zbl 1425.03009
Guillermo, Mauricio; Miquel, Alexandre
3
2016
Expressiveness modulo bisimilarity of regular expressions with parallel composition. Zbl 1362.68198
Baeten, Jos C. M.; Luttik, Bas; Muller, Tim; van Tilburg, Paul
3
2016
Breaking symmetries. Zbl 1362.68219
Peters, Kirstin; Nestmann, Uwe
3
2016
General conditions for full abstraction. Zbl 1361.68085
Parrow, Joachim
3
2016
...and 623 more Documents
all top 5

Cited by 3,319 Authors

33 Adámek, Jiří
33 Milius, Stefan
25 Yoshida, Nobuko
24 Gadducci, Fabio
23 Jacobs, Bart
23 Sangiorgi, Davide
22 Corradini, Andrea
22 Dezani-Ciancaglini, Mariangiola
22 Ésik, Zoltán
22 Montanari, Ugo G.
21 Baldan, Paolo
20 Bonchi, Filippo
20 Velebil, Jiří
19 Rutten, Jan J. M. M.
17 Diaconescu, Răzvan
17 Ehrhard, Thomas
17 Ehrig, Hartmut
17 Hötzel Escardó, Martín
17 Xi, Xiaoyong
16 Bruni, Roberto
16 Cockett, J. Robin B.
16 Konno, Norio
16 Power, John
16 Pym, David J.
16 Romaguera Bonilla, Salvador
16 Schröder, Lutz
15 Birkedal, Lars
15 Fu, Yuxi
14 Aceto, Luca
14 Kesner, Delia
14 Silva, Alexandra
14 Winskel, Glynn
14 Zhao, Dongsheng
13 Abel, Andreas M.
13 Arbab, Farhad
13 Blute, Richard F.
13 Edalat, Abbas
13 Ghani, Neil
13 Hennessy, Matthew C. B.
13 Keimel, Klaus
13 Mossakowski, Till
13 Orejas, Fernando
13 Scott, Philip J.
13 Vickers, Steven
12 Dal Lago, Ugo
12 Danos, Vincent
12 Duan, Zhenhua
12 Fernández, Maribel
12 Finkel, Olivier
12 Hyland, J. Martin E.
12 König, Barbara
12 Kurz, Alexander
12 Manzonetto, Giulio
12 Valero, Oscar
11 Abramsky, Samson
11 Coquand, Thierry
11 Danvy, Olivier
11 Duval, Dominique
11 Labella, Anna
11 Legay, Axel
11 Meseguer Guaita, José
11 Panangaden, Prakash
11 Pérez, Jorge A.
11 Schmidt-Schauß, Manfred
11 Straßburger, Lutz
11 Ying, Mingsheng
10 Baier, Christel
10 Bonsangue, Marcello Maria
10 Harju, Tero
10 Honda, Kohei
10 Ingólfsdóttir, Anna
10 Kanovich, Max Iosifovich
10 Karapınar, Erdal
10 Longo, Giuseppe
10 Maietti, Maria Emilia
10 Mitrana, Victor
10 Paolini, Luca
10 Rabe, Florian
10 Sabel, David
10 Sadrzadeh, Mehrnoosh
10 Schuster, Peter Michael
10 Selivanov, Viktor L’vovich
10 Solovyov, Sergey A.
10 Uustalu, Tarmo
10 Van den Berg, Benno
10 Zorzi, Margherita
9 Aydi, Hassen Mohamed
9 Banach, Richard
9 Bauer, Andrej
9 Berger, Ulrich
9 Bergstra, Jan A.
9 Bloom, Stephen L.
9 Bucciarelli, Antonio
9 Deng, Yuxin
9 Ehrenfeucht, Andrzej
9 Feng, Yuan
9 Fiore, Marcelo P.
9 Hasuo, Ichiro
9 Hofmann, Dirk
9 Künzi, Hans-Peter A.
...and 3,219 more Authors
all top 5

Cited in 275 Journals

534 Theoretical Computer Science
208 MSCS. Mathematical Structures in Computer Science
203 Information and Computation
148 Annals of Pure and Applied Logic
98 Logical Methods in Computer Science
70 Journal of Pure and Applied Algebra
65 Journal of Logical and Algebraic Methods in Programming
56 Topology and its Applications
56 Applied Categorical Structures
54 Journal of Functional Programming
47 Formal Aspects of Computing
45 Journal of Automated Reasoning
40 The Journal of Logic and Algebraic Programming
39 Quantum Information Processing
37 Acta Informatica
34 The Journal of Symbolic Logic
33 Studia Logica
29 Information Processing Letters
29 Science of Computer Programming
28 Theory and Applications of Categories
27 Fuzzy Sets and Systems
25 RAIRO. Theoretical Informatics and Applications
24 International Journal of Theoretical Physics
23 Journal of Computer and System Sciences
21 Journal of Applied Logic
20 Archive for Mathematical Logic
18 Soft Computing
17 Higher-Order and Symbolic Computation
17 Logica Universalis
15 Algebra Universalis
15 Fixed Point Theory and Applications
14 Theory of Computing Systems
13 Journal of Algebra
13 Journal of Philosophical Logic
13 International Journal of Foundations of Computer Science
13 The Bulletin of Symbolic Logic
12 Natural Computing
11 Semigroup Forum
11 Journal of Symbolic Computation
11 ACM Transactions on Computational Logic
10 Discrete Applied Mathematics
10 Synthese
10 Mathematical Logic Quarterly (MLQ)
9 Information Sciences
9 Journal of Logic, Language and Information
9 Annals of Mathematics and Artificial Intelligence
8 Advances in Mathematics
8 Applied Mathematics and Computation
8 Journal of Computer Science and Technology
8 International Journal of Approximate Reasoning
7 Cahiers de Topologie et Géométrie Différentielle Catégoriques
7 International Journal of Algebra and Computation
7 Distributed Computing
6 Journal of Mathematical Physics
6 New Generation Computing
6 International Journal of Computer Mathematics
6 Journal of Applied Non-Classical Logics
6 Abstract and Applied Analysis
6 Sibirskie Èlektronnye Matematicheskie Izvestiya
6 RAIRO. Theoretical Informatics and Applications
5 Journal of Statistical Physics
5 Demonstratio Mathematica
5 International Journal of Mathematics and Mathematical Sciences
5 Notre Dame Journal of Formal Logic
5 Linear Algebra and its Applications
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 Higher Structures
4 Communications in Algebra
4 Communications in Mathematical Physics
4 Automatica
4 Proceedings of the American Mathematical Society
4 History and Philosophy of Logic
4 Order
4 Bulletin of the American Mathematical Society. New Series
4 RAIRO. Informatique Théorique et Applications
4 Celestial Mechanics and Dynamical Astronomy
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
3 Artificial Intelligence
3 Computers & Mathematics with Applications
3 Lithuanian Mathematical Journal
3 Mathematical Proceedings of the Cambridge Philosophical Society
3 Rocky Mountain Journal of Mathematics
3 Commentationes Mathematicae Universitatis Carolinae
3 Programming and Computer Software
3 Optimization
3 Random Structures & Algorithms
3 Discrete Event Dynamic Systems
3 Indagationes Mathematicae. New Series
3 Applicable Algebra in Engineering, Communication and Computing
...and 175 more Journals
all top 5

Cited in 55 Fields

2,264 Computer science (68-XX)
1,323 Mathematical logic and foundations (03-XX)
677 Category theory; homological algebra (18-XX)
279 Order, lattices, ordered algebraic structures (06-XX)
226 Quantum theory (81-XX)
225 General topology (54-XX)
101 Combinatorics (05-XX)
92 General algebraic systems (08-XX)
71 Probability theory and stochastic processes (60-XX)
68 Information and communication theory, circuits (94-XX)
64 Algebraic topology (55-XX)
53 Biology and other natural sciences (92-XX)
52 Group theory and generalizations (20-XX)
52 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
46 Associative rings and algebras (16-XX)
28 Statistical mechanics, structure of matter (82-XX)
23 Commutative algebra (13-XX)
23 Operator theory (47-XX)
21 History and biography (01-XX)
21 Functional analysis (46-XX)
21 Operations research, mathematical programming (90-XX)
20 Dynamical systems and ergodic theory (37-XX)
20 Systems theory; control (93-XX)
16 General and overarching topics; collections (00-XX)
15 Measure and integration (28-XX)
14 Numerical analysis (65-XX)
13 Real functions (26-XX)
13 Statistics (62-XX)
12 Nonassociative rings and algebras (17-XX)
11 Topological groups, Lie groups (22-XX)
10 Linear and multilinear algebra; matrix theory (15-XX)
10 Manifolds and cell complexes (57-XX)
9 Field theory and polynomials (12-XX)
8 Algebraic geometry (14-XX)
7 Geometry (51-XX)
7 Convex and discrete geometry (52-XX)
6 Ordinary differential equations (34-XX)
6 Global analysis, analysis on manifolds (58-XX)
6 Mechanics of particles and systems (70-XX)
6 Relativity and gravitational theory (83-XX)
5 \(K\)-theory (19-XX)
5 Partial differential equations (35-XX)
4 Differential geometry (53-XX)
3 Number theory (11-XX)
3 Mathematics education (97-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
1 Functions of a complex variable (30-XX)
1 Special functions (33-XX)
1 Difference and functional equations (39-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