Journal Report

Mathematical Structures in Computer Science

Download PDF
Journal Information
Journal Title
Mathematical Structures in Computer Science
Publisher
Cambridge University Press
ISSN
0960-1295
E-ISSN
1469-8072
Database
SCOPUS
Domain
Health Sciences, Life Sciences, Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓
2018 ✓
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
The list object endofunctor is polynomial
Samuel Desrochers
2026 Vol. 36
DOI: 10.1017/s096012952610067x
Opetopes as zoom complexes and partial orders
Louise Leclerc
2026 Vol. 36
DOI: 10.1017/s0960129526100474
A dependently-typed calculus of event telicity and culminativity
Pavel Kovalev, Carlo Angiuli
2026 Vol. 36
DOI: 10.1017/s0960129526100516
Constructing linear bicategories
Susan Niefield, Richard Blute, Rose Kudzman-Blais
2026 Vol. 36
DOI: 10.1017/s0960129526100553
Preface to “Rosolini’s Festschrift: effectiveness and continuity in categorical logic”
Riccardo Camerlo, Francesco Dagnino, Jacopo Emmenegger et al.
2026 Vol. 36
DOI: 10.1017/s0960129526100632
Relative completeness of arithmetical numberings
Marat Faizrahmanov
2026 Vol. 36
DOI: 10.1017/s0960129526100541
Gentzen–Mints–Zucker duality
Daniel Murfet, William Anthony Troiani
2026 Vol. 36
DOI: 10.1017/s0960129526100462
Categories for collection monads
Eugenio Moggi
2026 Vol. 36
DOI: 10.1017/s0960129526100486
Algorithmic syntax–semantics interface of passive forms with type-theory of acyclic recursion
Roussanka Loukanova
2026 Vol. 36
DOI: 10.1017/s0960129526100644
Formal <scp>p</scp> -category theory and normalization by evaluation in Rocq
David Berry, Marcelo Fiore
2026 Vol. 36
DOI: 10.1017/s0960129525100406
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 8, 2026 22:35