ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Mathematical Structures in Computer Science
container_jdpukxfslnfmradqb65llq43na
Cambridge University Press
Homepage URLs
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science |
http://journals.cambridge.org/action/displayJournal?jid=MSC |
http://journals.cambridge.org/MSC |
Example Publications
The role of linearity in sharing analysis
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2022
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129522000160
String diagram rewrite theory III: Confluence with and without Frobenius
Filippo Bonchi, FABIO GADDUCCI, Aleks Kissinger, Paweł Sobociński, Fabio Zanasi
2022
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129522000123
Proof-relevance in Bishop-style constructive mathematics
Iosif Petrakis
2022
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129522000159
Bisimulation as a logical relation
Claudio Hermida, Uday Reddy, Edmund Robinson, Alessio Santamaria
2022
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129522000020
On Church's thesis in cubical assemblies
Andrew Swan, Taichi Uemura
2022
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129522000068