Picture of renaissance building ornamentation and gargoyls

Literary linguistics: Open Access research in English language

Strathprints makes available Open Access scholarly outputs by English Studies at Strathclyde. Particular research specialisms include literary linguistics, the study of literary texts using techniques drawn from linguistics and cognitive science.

The team also demonstrates research expertise in Renaissance studies, researching Renaissance literature, the history of ideas and language and cultural history.

Explore some of this Open Access research from English. Or explore all Strathclyde Open Access research...

Browse by Author or creator

Group by: Publication Date | Item type | No Grouping
Jump to: 2019 | 2018 | 2017 | 2015
Number of items: 5.

2019

Chapman, James and Uustalu, Tarmo and Veltri, Niccolò (2019) Quotienting the delay monad by weak bisimilarity. Mathematical Structures in Computer Science, 29 (1). pp. 67-92. ISSN 1469-8072

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. Proceedings of the ACM on Programming Languages (PACMPL), 2 (ICFP). pp. 1-30. 90. ISSN 2475-1421

2017

Chapman, James and Uustalu, Tarmo and Veltri, Niccolò (2017) Formalizing restriction categories. Journal of Formalized Reasoning, 10 (1). pp. 1-36. ISSN 1972-5787

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

2015

Chapman, James and Uustalu, Tarmo and Veltri, Niccolò; (2015) Quotienting the delay monad by weak bisimilarity. In: Theoretical Aspects of Computing - ICTAC 2015. Lecture Notes in Computer Science, 9399 . Springer, Switzerland, pp. 110-125. ISBN 978-3-319-25149-3

This list was generated on Sun Jun 26 09:39:59 2022 BST.