## 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)

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