Picture of hands reaching out from under the sea of suffering, White Temple, Chiang Rai, Thailand

Open Access research that seeks to understand the expanding impact of human rights law on society...

Strathprints makes available scholarly Open Access content by researchers within the School of Law, including the Centre for the Study of Human Rights Law. Researchers within the Centre explore issues such as the impact of socio-economic rights within the context of immigration and asylum, to human rights within a changing climate, to respect for private life and freedom of expression.

Elsewhere in HaSS, researchers in the School of Social Work & Social Policy are investigating issues surrounding identity, citizenship and belonging among migrant populations, especially in light of significant political, social and economic change.

Explore the Open Access research by the School of Law, or the School 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). 13. ISSN 1860-5974

2013

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

Hancock, Peter and McBride, Conor and Ghani, Neil and Malatesta, Lorenzo and Altenkirch, Thorsten; Hasegawa, Masahito, ed. (2013) Small induction recursion. In: Typed Lambda Calculus and Applications. Lecture Notes in Computer Science . Springer, NLD, 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, USA, pp. 243-252. ISBN 9781479904136

This list was generated on Tue Mar 2 14:05:46 2021 GMT.