Picture of a satellite.

Open Access research that solves space system engineering problems...

Strathprints makes available scholarly Open Access content by scholars in the Department of Mechanical & Aerospace Engineering (MAE), based within the Faculty of Engineering.

Research at MAE includes research into space systems engineering and spaceflight mechanics. This spans a wide variety of topics such as nano-satellites, self-assembling spacecraft, orbital dynamics, trajectory design and optimization, autonomous navigation and planning, all under the auspices of the Aerospace Centre of Excellence - and with almost all research outputs openly available through Strathprints.

Explore the Open Access research of the Aerospace Centre of Excellence or the wider MAE department. 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: 2016 | 2013 | 2009
Number of items: 3.

2016

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

2013

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, NLD, pp. 156-172. ISBN 9783642389450

2009

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.

This list was generated on Fri Jan 17 21:06:31 2020 GMT.