Space craft photographed floating in low earth orbit

Open Access research: Conquering challenges in, and from, space...

Strathclyde researchers are highly active in the areas of space systems, astronautics, space science, and space mechatronics. Researchers from Physics within the Centre for Space Science and Applications, the Aerospace Centre of Excellence in MAE, the Space Mechatronic Systems Technology (SMeSTech) Laboratory within DMEM, and researchers in EEE, all explore the engineering and scientific challenges within space, with topics such as spaceflight mechanics, robotics for in-orbit satellite services and refuelling, and satellite-based ocean colour remote sensing, among many others.

Explore some of this space-related Open Access research.

Or explore all Open Access research content...

Browse by Author or creator

Group by: Publication Date | 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, Peter and Pattinson, Dirk and Ghani, Neil (2009) Representations of stream processors using nested fixed points. Logical Methods in Computer Science, 5 (3). pp. 1-17. 9.

Book Section

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

This list was generated on Sat Dec 4 08:43:38 2021 GMT.