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: 2019 | 2016 | 2015
Number of items: 4.

2019

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 0960-1295

2016

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico (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

2015

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 (2015) Parametric polymorphism - universally. In: Logic, Language, Information, and Computation. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, pp. 81-92. ISBN 978-3-662-47708-3

This list was generated on Mon Dec 16 01:59:39 2019 GMT.