King's College London

Research portal

Research Outputs

  1. 2016
  2. Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

    Copello, E., Tasistro, Á., Szasz, N., Bove, A. & Fernández, M., 14 Jul 2016, In : Electronic Notes in Theoretical Computer Science. 323, p. 109-124 16 p.

    Research output: Contribution to journalConference paper

  3. 2010
  4. Closed nominal rewriting and efficiently computable nominal algebra equality

    Fernandez, M., Murdoch, J. & Gabbay, D., 2010, In : Electronic Proceedings in Theoretical Computer Science. 34, p. 37 - 51 15 p.

    Research output: Contribution to journalConference paper

  5. Graph Creation, Visualisation and Transformation

    Fernandez, M. & Namet, O., 2010, In : Electronic Proceedings in Theoretical Computer Science. 21, p. 1 - 12 12 p.

    Research output: Contribution to journalConference paper

  6. Labelled Lambda-calculi with Explicit Copy and Erase

    Fernandez, M. & Siafakas, N., 2010, In : Electronic Proceedings in Theoretical Computer Science. 22, p. 49 - 64 16 p.

    Research output: Contribution to journalConference paper

  7. 2009
  8. Recursive Functions with Pattern Matching in Interaction Nets

    Fernandez, M., Mackie, I., Sato, S. & Walker, M., 6 Nov 2009, In : Electronic Notes in Theoretical Computer Science. 253, 4, p. 55 - 71 17 p., N/A.

    Research output: Contribution to journalConference paper

  9. New Developments in Abstract Machines

    Fernandez, M. & Siafakas, N., 2009, In : Electronic Notes in Theoretical Computer Science.

    Research output: Contribution to journalConference paper

  10. 2007
  11. From Functional Programs to Interaction Nets via the Rewriting Calculus

    Cirstea, H., Faure, G., Fernandez, M., Mackie, I. & Sinot, F-R., 2 Jul 2007, In : Electronic Notes in Theoretical Computer Science. 174, 10, p. 39 - 56 18 p.

    Research output: Contribution to journalConference paper

  12. The Power of Closed Reduction Strategies

    Alves, S., Fernandez, M., Florido, M. & Mackie, I., 2 Jul 2007, In : Electronic Notes in Theoretical Computer Science. 174, 10, p. 57 - 74 18 p.

    Research output: Contribution to journalConference paper

  13. Implementing Nominal Unification

    Calvès, C. & Fernandez, M., 28 May 2007, In : Electronic Notes in Theoretical Computer Science. 176, 1, p. 25 - 37 13 p.

    Research output: Contribution to journalConference paper

  14. 2000
  15. Neuropsychological functioning in first-episode psychosis - evidence of specific deficits

    Riley, E. M., McGovern, D., Mockler, D., Doku, V. C. K., OCeallaigh, S., Fannon, D. G., Tennakoon, L., Santamaria, M., Soni, W., Morris, R. G. & Sharma, T., 25 May 2000, In : Schizophrenia Research. 43, 1, p. 47 - 55 9 p.

    Research output: Contribution to journalConference paper

Export:RIS BibTex Word PDF - will at most contain 500 items

Refine results Clear filters

Language

Language

Publication year

Full text

Full text

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454