Picture of model of urban architecture

Open Access research that is exploring the innovative potential of sustainable design solutions in architecture and urban planning...

Strathprints makes available scholarly Open Access content by researchers in the Department of Architecture based within the Faculty of Engineering.

Research activity at Architecture explores a wide variety of significant research areas within architecture and the built environment. Among these is the better exploitation of innovative construction technologies and ICT to optimise 'total building performance', as well as reduce waste and environmental impact. Sustainable architectural and urban design is an important component of this. To this end, the Cluster for Research in Design and Sustainability (CRiDS) focuses its research energies towards developing resilient responses to the social, environmental and economic challenges associated with urbanism and cities, in both the developed and developing world.

Explore all the Open Access research of the Department of Architecture. 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: 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 Sat Feb 16 01:01:53 2019 GMT.