Picture of man wearing virtual reality headset

Open Access research that explores why technology innovation occurs

Strathprints makes available Open Access scholarly outputs by Hunter Centre for Entrepreneurship based within Strathclyde Business School. Particular research specialisms within the Hunter Centre include better understanding the dynamics of how new technologies and business models move from concept to market. This research aligns with another local specialism, 'entrepreneurial ecosystems', which seeks to codify the role of context and systemic influences on entrepreneurship.

Explore some of this Open Access research from Hunter Centre for Entrepreneurship. Or explore all Strathclyde Open Access research...

Browse by Author or creator

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

Article

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

Book Section

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 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 Wed Nov 30 09:46:15 2022 GMT.