Dr Robin Adams

  1. 2011
  2. Published

    A Pluralist Approach to the Formalisation of Mathematics

    Adams, R. & Luo, Z., 2 Jul 2011, In : Mathematical Structures in Computer Science. 21, 4, p. 913-942 29 p.

    Research output: Contribution to journalArticle

  3. Forthcoming

    Lambda-Free Logical Frameworks

    Adams, R., 2011, (Accepted/In press) In : Annals of Pure and Applied Logic.

    Research output: Contribution to journalArticle

  4. 2010
  5. Published

    Classical Predicative Logic-Enriched Type Theories

    Adams, R. & Luo, Z., Aug 2010, In : Annals of Pure and Applied Logic. 161, 11, p. 1315-1345 31 p.

    Research output: Contribution to journalArticle

  6. Published

    Weyl's predicative classical mathematics as a logic-enriched type theory

    Adams, R. & Luo, Z., Jan 2010, In : ACM Transactions on Computational Logic. 11, 2, 31 p., 11.

    Research output: Contribution to journalArticle

  7. 2009
  8. Published

    Coercive Subtyping in Lambda-Free Logical Frameworks

    Adams, R., 2009, Proceedings of the Fourth international Workshop on Logical Frameworks and Meta-Languages. Cheney, J. & Felty, A. (eds.). New York: ACM, p. 30-39 10 p.

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

  9. 2008
  10. Published

    Structural subtyping for inductive types with functorial equality rules

    Luo, Z. & Adams, R., 2008, In : Mathematical Structures in Computer Science. 18, 5, p. 931-972 42 p.

    Research output: Contribution to journalArticle

  11. 2007
  12. Published

    Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory

    Adams, R. & Luo, Z., 2007, Types for Proofs and Programs. Altenkirch, T. & McBride, C. (eds.). Springer, Vol. 4502. p. 1-17 17 p. (Lecture Notes in Computer Science).

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

  13. 2006
  14. Published

    Formalized Metatheory with Terms Represented by an Indexed Family of Types

    Adams, R., 2006, Types for Proofs and Programs. Filliatre, J-C., Paulin-Mohring, C. & Werner, B. (eds.). Springer, Vol. 3839. p. 1-16 16 p. (Lecture Notes in Computer Science).

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

  15. Published

    Pure Type Systems with Judgemental Equality

    Adams, R., 2006, In : Journal of Functional Programming. 16, 2, p. 219-246 28 p.

    Research output: Contribution to journalArticle

  16. 2004
  17. Unpublished

    A Modular Hierarchy of Logical Frameworks

    Adams, R., 2004, (Unpublished) 254 p.

    Research output: ThesisDoctoral Thesis

  18. Published

    A Modular Hierarchy of Logical Frameworks

    Adams, R., 2004, Types for Proofs and Programs. Berardi, S., Coppo, M. & Damiani, F. (eds.). Springer, Vol. 3085. p. 1-16 16 p. (Lecture Notes in Computer Science).

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