Search research publications and outputs

  1. Isabelle/UTP: Mechanised Theory Engineering for the UTP

    Foster, S. D., Zeyda, F., Nemouchi, Y., De Oliveira Salazar Ribeiro, P. F. & Wolff, B., 4 Apr 2018, (Unpublished) 162 p.

    Research output: Working paper

  2. Kleene Algebra in Unifying Theories of Programming

    Foster, S. D., 5 Apr 2018, (Unpublished) 6 p.

    Research output: Working paper

  3. Labor market effects of improved access to credit among the poor: evidence from Cape Verde

    Santos Monteiro, P., Casini, P. & Riera, O., 9 Jun 2015, (Unpublished).

    Research output: Working paper

  4. Local nets of von Neumann algebras in the Sine-Gordon model

    Bahns, D., Fredenhagen, K. & Rejzner, K. A., Dec 2017, (Unpublished).

    Research output: Working paper

  5. Maximum Sustainable Government Debt in the Perpetual Youth Model

    Rankin, N., 2011, (Unpublished) 22 p.

    Research output: Working paper

  6. Monetary Policy under the Classical Gold Standard (1870s-1914)

    Morys, M., 2010, (Unpublished) CHERRY Discussion Paper 2010/01.

    Research output: Working paperDiscussion paper

  7. Operations on the Hochschild Bicomplex of a Diagram of Algebras

    Hawkins, E., 3 Feb 2020, (Unpublished).

    Research output: Working paper