Picture of wind farm

Open Access research that is tackling the climate emergency...

Addressing the energy challenge confronting society is a strategic research theme for Strathclyde. Researchers from across the institution, spanning multiple disciplines, are therefore working together to understand ways of reducing the environmental impacts of energy use, improving energy efficiency, coping with declining fossil fuel supplies, managing an ageing energy infrastructure, and devising policy or economic levers to achieve higher penetration of renewable energy systems and technologies. Strathprints makes this scholarly research content available Open Access thereby ensuring results are available to everyone in order meet the global climate challenge.

Explore some of this Open Access research from the departments of Mechanical & Aerospace Engineering, Electronic & Electrical Engineering, Civil & Environmental Engineering, Naval Architecture, Ocean & Marine Engineering, Economics, Entrepreneurship and the School of Government & Public Policy.

Or explore all of Strathclyde's Open Access research...

Browse by Author or creator

Group by: Publication Date | Item type | No Grouping
Number of items: 4.

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

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico; Lindley, Sam and McBride, Conor and Trinder, Phil and Sannella, Don, eds. (2016) Proof-relevant parametricity. In: A List of Successes That Can Change the World. Lecture Notes in Computer Science . Springer-Verlag, Switzerland, pp. 109-131. ISBN 9783319309354

Ghani, Neil and Johann, Patricia and Forsberg, Fredrik Nordvall and Orsanigo, Federico and Revell, Tim (2015) Bifibrational functorial semantics of parametric polymorphism. Electronic Notes in Theoretical Computer Science, 319. pp. 165-181. ISSN 1571-0661

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico; de Paiva, Valeria and de Queiroz, Ruy and Moss, Lawrence S. and Leivant, Daniel and de Oliveira, Anjolina G., eds. (2015) Parametric polymorphism - universally. In: Logic, Language, Information, and Computation. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, USA, pp. 81-92. ISBN 978-3-662-47708-3

This list was generated on Sun Feb 5 10:54:33 2023 GMT.