Filter
Chapter in a published conference proceeding

Search results

  • 2020

    On the computational content of Zorn's lemma

    Powell, T., 8 Jul 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. U. S. A.: Association for Computing Machinery, p. 768-781 14 p. 3394745. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    3 Citations (SciVal)
  • 2019

    An algorithmic approach to the existence of ideal objects in commutative algebra

    Powell, T., Schuster, P. & Wiesnet, F., 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. p. 533-549 (Lecture Notes in Computer Science; vol. 11541).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    7 Citations (SciVal)
  • 2018

    A functional interpretation with state

    Powell, T., 9 Jul 2018, LICS ’18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 839-848 10 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    6 Citations (SciVal)
  • 2016

    Gödel's functional interpretation and the concept of learning

    Powell, T., 2016, LICS ’16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 136-145

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    6 Citations (SciVal)
  • 2015

    On the computational content of termination proofs

    Moser, G. & Powell, T., 2015, Evolving Computability: 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings. p. 276-285 (Lecture Notes in Computer Science; vol. 9136).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    2 Citations (SciVal)
  • 2012

    Applying Gödel's Dialectica interpretation to obtain a constructive proof of Higman's lemma

    Powell, T., 2012, Proceedings Fourth Workshop on Classical Logic and Computation. Vol. 97. p. 49-62 (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • 2011

    System T and the product of selection functions

    Escardó, M., Oliva, P. & Powell, T., 2011, Computer Science Logic 2011 - 25th International Workshop/20th Annual Conference of the EACSL, CSL 2011. p. 233-247 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 12).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    10 Citations (SciVal)