Picture of UK Houses of Parliament

Leading national thinking on politics, government & public policy through Open Access research

Strathprints makes available scholarly Open Access content by researchers in the School of Government & Public Policy, based within the Faculty of Humanities & Social Sciences.

Research here is 1st in Scotland for research intensity and spans a wide range of domains. The Department of Politics demonstrates expertise in understanding parties, elections and public opinion, with additional emphases on political economy, institutions and international relations. This international angle is reflected in the European Policies Research Centre (EPRC) which conducts comparative research on public policy. Meanwhile, the Centre for Energy Policy provides independent expertise on energy, working across multidisciplinary groups to shape policy for a low carbon economy.

Explore the Open Access research of the School of Government & Public Policy. Or explore all of Strathclyde's Open Access research...

Strathprints

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: 2019 | 2018 | 2017 | 2016 | 2015 | 2013 | 2012 | 2011 | 2010 | 2009
Number of items: 20.

2019

Ghani, Neil and Kupke, Clemens and Lambert, Alasdair and Nordvall Forsberg, Fredrik (2019) Compositional game theory with mixed strategies : probabilistic open games using a distributive law. In: Applied category theory conference 2019, 2019-07-15 - 2019-07-19.

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

2018

Ghani, Neil and Kupke, Clemens and Lambert, Alasdair and Nordvall Forsberg, Fredrik (2018) A compositional treatment of iterated open games. Theoretical Computer Science, 741. pp. 48-57. ISSN 0304-3975

Ritter, Daniel and May, Norman and Nordvall Forsberg, Fredrik and Rinderle-Ma, Stefanie (2018) Optimization strategies for integration pattern compositions. In: 12th ACM International Conference on Distributed and Event-based Systems (DEBS). Association for Computing Machinery (ACM), New York. (In Press)

Altenkirch, Thorsten and Capriotti, Paolo and Dijkstra, Gabe and Kraus, Nicolai and Nordvall Forsberg, Fredrik (2018) Quotient inductive-inductive types. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Cham, pp. 293-310. ISBN 978-3-319-89365-5

2017

Ghani, Neil and McBride, Conor and Nordvall Forsberg, Fredrik and Spahn, Stephan (2017) Variations on inductive-recursive definitions. In: Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science. Leibniz International Proceedings in Informatics . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Germany.

2016

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico (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 Simpson, Alex (2016) Comprehensive parametric polymorphism : categorical models and type theory. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science, 9634 . Springer Berlin/Heidelberg, pp. 3-19. ISBN 978-3-662-49630-5

2015

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 Nordvall Forsberg, Fredrik and Orsanigo, Federico (2015) Parametric polymorphism - universally. In: Logic, Language, Information, and Computation. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, pp. 81-92. ISBN 978-3-662-47708-3

Ghani, Neil and Nordvall Forsberg, Fredrik and Malatesta, Lorenzo (2015) Positive inductive-recursive definitions. Logical Methods in Computer Science, 11 (1). ISSN 1860-5974

Berger, Ulrich and Lawrence, Andrew and Nordvall Forsberg, Fredrik and Seisenberger, Monika (2015) Extracting verified decision procedures : DPLL and resolution. Logical Methods in Computer Science, 11 (1). ISSN 1860-5974

Atkey, Robert and Ghani, Neil and Nordvall Forsberg, Fredrik and Revell, Timothy and Staton, Sam (2015) Models for polymorphism over physical dimensions. In: 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Leibniz International Proceedings in Informatics (LIPIcs) . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Wadern, Germany, pp. 999-1013.

2013

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik (2013) Positive inductive-recursive definitions. In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Berlin, pp. 19-33. ISBN 9783642402050

Miyamoto, Kenji and Nordvall Forsberg, Fredrik and Schwichtenberg, Helmut (2013) Program extraction from nested definitions. In: Interactive Theorem Proving. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Berlin, pp. 370-385. ISBN 9783642396335

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik and Setzer, Anton (2013) Fibred data types. In: 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). IEEE, New York, pp. 243-252. ISBN 9781479904136

2012

Nordvall Forsberg, Fredrik and Setzer, Anton (2012) A finite axiomatisation of inductive-inductive definitions. In: Logic, Construction, Computation. Ontos mathematical logic, 3 . De Gruyter, 259 - 287. ISBN 9783110324921

2011

Altenkirch, Thorsten and Morris, Peter and Nordvall Forsberg, Fredrik and Setzer, Anton (2011) A categorical semantics for inductive-inductive definitions. In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Berlin, pp. 70-84. ISBN 9783642229435

2010

Nordvall Forsberg, Fredrik and Setzer, Anton (2010) Inductive-inductive definitions. In: Computer Science Logic. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Berlin, pp. 454-468. ISBN 9783642152047

2009

Nordvall Forsberg, Fredrik (2009) Constructive aspects of models for non-standard analysis. Masters thesis, UNSPECIFIED.

This list was generated on Sat Dec 7 13:27:16 2019 GMT.