Search research publications and outputs

  1. 2017
  2. Rural-urban migration in Bihar: implications for social citizenship in contemporary India

    Roy, I., 2017, (Unpublished) International Growth Centre.

    Research output: Working paper

  3. Comparing nets and factorization algebras of observables: the free scalar field

    Gwilliam, O. & Rejzner, K. A., Nov 2017, (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. 2018
  6. 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

  7. Kleene Algebra in Unifying Theories of Programming

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

    Research output: Working paper

  8. Generalised Reactive Processes in Isabelle/UTP

    Foster, S. D. & Canham, S. J., 6 Apr 2018, (Unpublished) 56 p.

    Research output: Working paper

  9. Theory of Designs in Isabelle/UTP

    Foster, S. D., Nemouchi, Y. & Zeyda, F., 6 Apr 2018, (Unpublished) 47 p.

    Research output: Working paper