Open Access - Learn. Share. Advance.

International Open Access Week! Discover open research content at Strathprints...

21-27 October is International Open Access Week 2019, the theme of which is 'Open for whom? Equity in open knowledge'.

The Strathprints repository provides a digital archive of University of Strathclyde research outputs. Up to 95% of University of Strathclyde research content published since 2015, such as papers and articles, is available from this repository as Open Access thereby supporting equity in open knowledge - and the team supporting open initiatives at Strathclyde is working tirelessly to make even more content open!

Explore recent Open Access research content by world leading researchers across science, engineering, business, social sciences and humanities disciplines.

Or explore all Open Access research content...

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 Fri Oct 18 18:44:44 2019 BST.