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

Browse by Journal or other publication

Group by: Publication Date | Item type | No Grouping
Jump to: Article
Number of items: 2.

Article

Horne, Ross and Mauw, Sjouke and Tiu, Alwen (2017) Semantics for specialising attack trees based on linear logic. Fundamenta Informaticae, 153 (1-2). pp. 57-86. ISSN 0169-2968

Löh, Andres and Mcbride, Conor and Swierstra, Wouter (2010) A tutorial implementation of a dependently typed lambda calculus. Fundamenta Informaticae, 102 (2). pp. 177-207. ISSN 0169-2968

This list was generated on Sun Dec 22 02:20:36 2024 GMT.