Picture of athlete cycling

Open Access research with a real impact on health...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of Open Access research papers by Strathclyde researchers, including by researchers from the Physical Activity for Health Group based within the School of Psychological Sciences & Health. Research here seeks to better understand how and why physical activity improves health, gain a better understanding of the amount, intensity, and type of physical activity needed for health benefits, and evaluate the effect of interventions to promote physical activity.

Explore open research content by Physical Activity for Health...

Browse by Author or Creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item type | No Grouping
Number of items: 3.

Article

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

Hancock, P. and Pattinson, D. and Ghani, N. (2009) Representations of stream processors using nested fixed points. Logical Methods in Computer Science, 5 (3).

Book Section

Hancock, Peter and McBride, Conor and Ghani, Neil and Malatesta, Lorenzo and Altenkirch, Thorsten (2013) Small induction recursion. In: Typed Lambda Calculus and Applications. Lecture Notes in Computer Science . Springer, Berlin, pp. 156-172. ISBN 9783642389450

This list was generated on Sat Jun 24 19:26:23 2017 BST.