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: 2018 | 2017 | 2014
Number of items: 3.

2018

Allais, Guillaume and Atkey, Robert and Chapman, James and McBride, Conor and McKinna, James (2018) A type and scope safe universe of syntaxes with binding : their semantics and proofs. In: International Conference on Functional Programming 2018, 2018-09-23 - 2018-09-29.

2017

Allais, Guillaume and Chapman, James and McBride, Conor and McKinna, James (2017) Type-and-scope safe programs and their proofs. In: CPP 2017. ACM, New York, NY, New York. ISBN 9781450347051

2014

Bertot, Yves and Allais, Guillaume (2014) Views of pi : definition and computation. Journal of Formalized Reasoning, 7 (1). pp. 105-129. ISSN 1972-5787

This list was generated on Mon May 13 21:56:41 2019 BST.