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
Number of items: 4.

Ghani, Neil and Nordvall Forsberg, Fredrik and Malatesta, Lorenzo (2015) Positive inductive-recursive definitions. Logical Methods in Computer Science, 11 (1). 13. ISSN 1860-5974

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik; Heckel, Reiko and Milius, Stefan, eds. (2013) Positive inductive-recursive definitions. In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, POL, pp. 19-33. ISBN 9783642402050

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

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik and Setzer, Anton; (2013) Fibred data types. In: 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). IEEE, USA, pp. 243-252. ISBN 9781479904136

This list was generated on Sun Jun 20 04:52:28 2021 BST.