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

Up a level

Group by: Publication Date | Item type | No Grouping

Jump to: 2025

Number of items: 2.

2025

de Muijnck-Hughes, Jan (2025) Towards being positively negative about dependent types. In: 31st Conference on Types for Proofs and Programs, 2025-06-09 - 2025-06-13, University of Strathclyde.

Watters, Sean (2025) Rational codata as syntax-with-binding : correct-by-construction foundations of the modal μ-calculus. In: 31st Conference on Types for Proofs and Programs, 2025-06-09 - 2025-06-13, University of Strathclyde.

This list was generated on Sat Dec 6 22:40:32 2025 GMT.