Picture of small jelly fish in ocean

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] Up a level
Group by: Publication Date | Item type | No Grouping
Jump to: Article
Number of items: 6.

Article

Hofmann, Martin and Ledent, Jérémy (2022) A quantitative model for simply typed λ-calculus. Mathematical Structures in Computer Science, 32 (Specia). pp. 777-793. ISSN 1469-8072

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico (2019) Universal properties for universal types in bifibrational parametricity. Mathematical Structures in Computer Science, 29 (6). 810–827. ISSN 1469-8072

Chapman, James and Uustalu, Tarmo and Veltri, Niccolò (2019) Quotienting the delay monad by weak bisimilarity. Mathematical Structures in Computer Science, 29 (1). pp. 67-92. ISSN 1469-8072

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2019) Converging from branching to linear metrics on Markov chains. Mathematical Structures in Computer Science, 29 (Specia). pp. 3-37. ISSN 1469-8072

Lovett, Neil B. and Everitt, Matthew and Heath, Robert M. and Kendon, Viv (2018) The quantum walk search algorithm : factors affecting efficiency. Mathematical Structures in Computer Science, 29 (3). pp. 389-429. ISSN 1469-8072

Ghani, Neil and Hancock, Peter (2016) Containers, monads and induction recursion. Mathematical Structures in Computer Science, 26 (Specia). pp. 89-113. ISSN 1469-8072

This list was generated on Mon Nov 18 19:16:49 2024 GMT.