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

#### Citations contained in zbMATH Open

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

#### Cited by 3,325 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,225 more Authors
all top 5

#### Cited in 275 Journals

 534 Theoretical Computer Science 208 MSCS. Mathematical Structures in Computer Science 204 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 57 Topology and its Applications 56 Applied Categorical Structures 55 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,266 Computer science (68-XX) 1,323 Mathematical logic and foundations (03-XX) 678 Category theory; homological algebra (18-XX) 280 Order, lattices, ordered algebraic structures (06-XX) 226 General topology (54-XX) 226 Quantum theory (81-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)