Strathprints makes available scholarly Open Access content by researchers in the Department of Mathematics & Statistics.
Mathematics & Statistics hosts the Marine Population Modelling group which is engaged in research into topics surrounding marine resource modelling and ecology. Recent work has included important developments in the population modelling of marine species.
Explore the Open Access research of Mathematics & Statistics. Or explore all of Strathclyde's Open Access research...
Nordvall Forsberg, Fredrik and Xu, Chuangjie and Ghani, Neil; Blanchette, Jasmin and Hritcu, Catalin, eds. (2020) Three equivalent ordinal notation systems in cubical Agda. In: CPP 2020 : Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, New York, 172–185. ISBN 9781450370974
![[up]](/style/images/multi_up.png)
Up a level