Open Access research that better understands changing marine ecologies...

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

Strathprints

Browse by Author or creator

Up a level

Group by: Publication Date | Item type | No Grouping

Jump to: 2026

Number of items: 1.

2026

Altenmüller, Malin and Mc Bride, Conor Titania; Nordvall Forsberg, Fredrik and McKinna, James, eds. (2026) A data type of intrinsically plane graphs in Agda. In: 31st International Conference on Types for Proofs and Programs (TYPES 2025). Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Saarbrücken/Wadern. ISBN 9783959774413

This list was generated on Mon Sep 7 17:49:53 2026 BST.