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...

Browse by Author or creator

Group by: Publication Date | Item type | No Grouping
Jump to: 2016 | 2013 | 2009
Number of items: 3.

2016

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

2013

Hancock, Peter and McBride, Conor and Ghani, Neil and Malatesta, Lorenzo and Altenkirch, Thorsten; Hasegawa, Masahito, ed. (2013) Small induction recursion. In: Typed Lambda Calculus and Applications. Lecture Notes in Computer Science . Springer, NLD, pp. 156-172. ISBN 9783642389450

2009

Hancock, Peter and Pattinson, Dirk and Ghani, Neil (2009) Representations of stream processors using nested fixed points. Logical Methods in Computer Science, 5 (3). pp. 1-17. 9.

This list was generated on Sun May 16 23:39:50 2021 BST.