Mathematical Structures in Computer Science
GPTKB entity
Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic_journal
|
| gptkbp:abbreviation |
Math. Struct. Comput. Sci.
|
| gptkbp:country |
gptkb:United_Kingdom
|
| gptkbp:discipline |
gptkb:mathematics
computer science |
| gptkbp:editor |
gptkb:Samson_Abramsky
|
| gptkbp:established |
1991
|
| gptkbp:focus |
gptkb:logic
gptkb:category_theory theoretical computer science semantics of computation |
| https://www.w3.org/2000/01/rdf-schema#label |
Mathematical Structures in Computer Science
|
| gptkbp:ISSN |
0960-1295
1469-8072 |
| gptkbp:language |
English
|
| gptkbp:publisher |
gptkb:Cambridge_University_Press
|
| gptkbp:website |
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science
|
| gptkbp:bfsParent |
gptkb:Categorical_Quantum_Mechanics
gptkb:Comprehending_Monads gptkb:Cubical_Type_Theory:_a_constructive_interpretation_of_the_univalence_axiom_(Bezem,_Coquand,_Huber,_2014) |
| gptkbp:bfsLayer |
7
|