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
On reduction and normalization in the computational core
Claudia Faggian, Giulio Guerrieri, Ugo de' Liguoro, Riccardo Treglia
2023
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129522000433
Normalization in the simply typed -calculus
Péter Battyányi, Karim Nour
2023
|
Mathematical Structures in Computer Science
doi:10.1017/s096012952200041x
A dual-context sequent calculus for the constructive modal logic S4
Favio E Miranda-Perea, Lourdes del Carmen González Huesca, Pilar Selene Linares Arevalo
2022
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129522000378
Semantic analysis of normalisation by evaluation for typed lambda calculus
Marcelo Fiore
2022
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129522000263
A linear logic framework for multimodal logics
Bruno Xavier, Carlos Olarte, Elaine Pimentel
2022
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129522000366