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 Journal or other publication

Group by: Publication Date | Item type | No Grouping
Number of items: 1.

Atkey, Bob (2009) A deep embedding of parametric polymorphism in Coq. In: 4rd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory, 2009-09-04.

This list was generated on Thu May 13 22:42:18 2021 BST.