Picture of DNA strand and binary code

Pioneering chemical biology & medicinal chemistry through Open Access research...

Strathprints makes available scholarly Open Access content by researchers in the Department of Pure & Applied Chemistry, based within the Faculty of Science.

Research here spans a wide range of topics from analytical chemistry to materials science, and from biological chemistry to theoretical chemistry. The specific work in chemical biology and medicinal chemistry, as an example, encompasses pioneering techniques in synthesis, bioinformatics, nucleic acid chemistry, amino acid chemistry, heterocyclic chemistry, biophysical chemistry and NMR spectroscopy.

Explore the Open Access research of the Department of Pure & Applied Chemistry. 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
Number of items: 13.

Article

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 Johann, Patricia and Fumex, Clement (2012) Generic fibrational induction. Logical Methods in Computer Science, 8 (2). 12. ISSN 1860-5974

Atkey, Robert and Johann, Patricia and Ghani, Neil (2012) Refining inductive types. Logical Methods in Computer Science, 8 (2). 9. ISSN 1860-5974

Johann, Patricia and Ghani, Neil (2009) A principled approach to programming with nested types in Haskell. Higher-Order and Symbolic Computation, 22 (2). pp. 155-189.

Johann, Patricia and Voigtlander, Johann (2009) A family of syntactic logical relations for the semantics of Haskell-like languages. Information and Computation, 207 (2). pp. 341-368. ISSN 0890-5401

Book Section

Atkey, Robert and Ghani, Neil and Johann, Patricia; (2014) A relationally parametric model of dependent type theory. In: POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT. ACM, USA, pp. 503-515. ISBN 9781450325448

Atkey, Robert and Johann, Patricia and Kennedy, Andrew; Giacobazzi, Roberto and Cousot, Radhia, eds. (2013) Abstraction and invariance for algebraically indexed types. In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press, GBR, pp. 87-100. ISBN 978-1-4503-1832-7

Atkey, Robert and Ghani, Neil and Jacobs, Bart and Johann, Patricia; Birkedal, Lars, ed. (2012) Fibrational induction meets effects. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science, 7213 . Springer, EST, pp. 42-57.

Ghani, Neil and Johann, Patricia and Fumex, Clement; Corradini, Andrea and Klin, Bartek and Cirstea, Corina, eds. (2011) Indexed induction and coinduction, fibrationally. In: Algebra and coalgebra in computer science. Lecture Notes in Computer Science . Springer, pp. 176-191. ISBN 9783642229435

Atkey, Robert and Johann, Patricia and Ghani, Neil; Hofmann, Martin, ed. (2011) When is a type refinement an inductive type. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science . Springer, pp. 72-87. ISBN 978-3-642-19804-5

Ghani, Neil and Johann, Patricia and Fumex, Clement; Dawar, Anuj and Veith, Helmut, eds. (2010) Fibrational induction rules for initial algebras. In: Computer Science Logic. Lecture Notes In Computer Science, 6247 . Springer, pp. 336-350. ISBN 978-3-642-15204-7

Johann, Patricia and Simpson, Alex and Voigtlaender, Janis; (2010) A generic operational metatheory for algebraic effects. In: Proceedings of 25th Annual IEEE Symposium on Logic in Computer Science. ACM Press, pp. 209-218. ISBN 978-0-7695-4114-3

Johann, Patricia and Ghani, Neil; (2008) Foundations for structured programming with GADTs. In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008. ACM Press, pp. 297-308. ISBN 978-1-59593-689-9

This list was generated on Tue Sep 22 00:29:10 2020 BST.