ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Mathematical Structures in Computer Science
container_jdpukxfslnfmradqb65llq43na
Published by Cambridge University Press
Search Releases from this Container
Example Publications
Doctrines, modalities and comonads
Francesco Dagnino, Giuseppe Rosolini
2021
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129521000207
On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
Jetze Zoethout
2021
|
Mathematical Structures in Computer Science
doi:10.1017/s096012952100013x
The Scott model of PCF in univalent type theory
Tom de Jong
2021
|
Mathematical Structures in Computer Science
doi:10.1017/s0960129521000153
1,251
Known Releases
Preservation Status
| 723 | preserved and accessble (bright) | |
| 528 | preserved, inaccessible (dark) | |
| 0 | no known preservation |
Work Types
article-journal
| 1,251 |
Type
Status
unknownStatus
unknown
Preservation Holdings
CLOCKSS: years 1991-1996, 1998-2004, 2006-2020
Portico: years 1991-1996, 2001-2001, 2007-2020
scholarsportal: years 1993-1993, 1997-2020
CLOCKSS: years 1991-1996, 1998-2004, 2006-2020
Portico: years 1991-1996, 2001-2001, 2007-2020
scholarsportal: years 1993-1993, 1997-2020
Lookup Links