Picture of an eye scanning technical data.

Open Access research that improves the lives of children and families...

Strathprints makes available scholarly Open Access content by scholars in the School of Social Work & Social Policy, based within the Faculty of Humanities & Social Sciences (HaSS) .

Research at Social Work & Social Policy seeks to understand the social experiences of children, young people and families, in order to support evidence-informed policy. Issues of public health, health inequalities and health history within the context of social work are also important research themes. Research centres, such as CELCIS (Centre for Excellence for Children's Care & Protection) and the CYCJ (Centre for Youth & Criminal Justice) operate in furtherance of these research areas, supporting evidence-based solutions to improve child wellbeing and improvements in youth justice, and the lives of families and communities.

Explore the Open Access research of Social Work & Social Policy. Or explore all of Strathclyde's Open Access research...

Browse by Author or creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item type | No Grouping
Jump to: 2015 | 2013
Number of items: 4.

2015

Ghani, Neil and Nordvall Forsberg, Fredrik and Malatesta, Lorenzo (2015) Positive inductive-recursive definitions. Logical Methods in Computer Science, 11 (1). ISSN 1860-5974

2013

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik (2013) Positive inductive-recursive definitions. In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Berlin, pp. 19-33. ISBN 9783642402050

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

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik and Setzer, Anton (2013) Fibred data types. In: 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). IEEE, New York, pp. 243-252. ISBN 9781479904136

This list was generated on Fri Nov 15 21:29:42 2019 GMT.