Illustration of a SARS-CoV-2 virion

Open Access research that responds to the COVID-19 pandemic...

Strathprints makes available scholarly Open Access content seeking to respond to the medical, scientific, economic and social emergencies arising from the COVID-19 pandemic. Researchers from across the Faculties of Science, Engineering, Business and the Humanities, Arts & Social Sciences (HaSS) are all contributing to improved human understanding of -- or solutions to -- the issues surrounding management of the pandemic and the post-pandemic recovery.

Explore COVID-19 related Open Access research. Or explore all of Strathclyde's Open Access research...

Strathprints

Browse by Journal or other publication

[up] Up a level
Group by: Publication Date | Item type | No Grouping
Jump to: 2019 | 2016
Number of items: 4.

2019

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico (2019) Universal properties for universal types in bifibrational parametricity. Mathematical Structures in Computer Science, 29 (6). 810–827. ISSN 0960-1295

Chapman, James and Uustalu, Tarmo and Veltri, Niccolò (2019) Quotienting the delay monad by weak bisimilarity. Mathematical Structures in Computer Science, 29 (1). pp. 67-92. ISSN 0960-1295

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2019) Converging from branching to linear metrics on Markov chains. Mathematical Structures in Computer Science, 29 (Specia). pp. 3-37. ISSN 0960-1295

2016

Ghani, Neil and Hancock, Peter (2016) Containers, monads and induction recursion. Mathematical Structures in Computer Science, 26 (Specia). pp. 89-113.

This list was generated on Sun May 9 01:11:45 2021 BST.