Search research publications and outputs

  1. 2018
  2. Theory of Designs in Isabelle/UTP

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

    Research output: Working paper

  3. Kleene Algebra in Unifying Theories of Programming

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

    Research output: Working paper

  4. 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

  5. How to invent your past. Cultural appropriation or adaptation of orphan cultural identity?

    Currie, E. J. & Quiroga, D., Apr 2018, (Unpublished) The Digital Archaeological Record tDAR id: 443202. Society for American Archaeology

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. RUNA. Indigenous identity and heritage in the 21st century

    Currie, E. J., Apr 2018, (Unpublished).

    Research output: Contribution to conferencePaper

  7. Central Bank Governance and the 'Performative Turn': The Changing Role of the Bank of England in British Political Economy

    Buller, J. R. & Whisker, B. L., 28 Mar 2018, (Unpublished).

    Research output: Contribution to conferencePaper

  8. Expanding Employment Horizons for Young People in Care: An evaluation of York Cares' Bright Futures Project

    Dixon, J. & Ward, J., 22 Feb 2018, (Unpublished) 2 p.

    Research output: Other contribution

  9. Women's Homelessness in Europe

    Mayock, P. & Bretherton, J., 12 Jan 2018, (Unpublished).

    Research output: Contribution to conferencePaper