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
Discrete equational theories
Jiri Rosicky
2024
|
Mathematical Structures in Computer Science
doi:10.1017/s096012952400001x
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective
K. Subramani, Piotr Wojciechowski
2023
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129523000300
Two-level type theory and applications
Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
2023
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129523000130
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