No photo of Joe Wells

View Scopus Profile

Joe Wells

Dr

  • EH14 4AS

    United Kingdom

19992024

Research activity per year

Personal profile

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being

Fingerprint

Dive into the research topics where Joe Wells is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

  • Intersection Types via Finite-Set declarations

    Kamareddine, F. D. & Wells, J., 8 Jun 2024, Logic, Language, Information, and Computation: WoLLIC 2024. Metcalfe, G., Studer, T. & de Queiroz, R. (eds.). Springer, p. 80-92 13 p. (Lecture Notes in Computer Science; vol. 14672).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards Semantic Markup of Mathematical Documents via User Interaction

    Vrecar, L., Wells, J. & Kamareddine, F. D., 29 Jul 2024, Intelligent Computer Mathematics. CICM 2024. Kohlhase, A. & Kovács, L. (eds.). 9783031669965: Springer, p. 223-240 18 p. (Lecture Notes in Computer Science; vol. 14960).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories

    Dunne, C. & Wells, J., 17 Sept 2022, Intelligent Computer Mathematics: 15th International Conference, CICM 2022; Tbilisi, Georgia, September 19–23, 2022; Proceedings. Buzzard, K. & Kutsia, T. (eds.). Springer, p. 38-55 (Lecture Notes in Computer Science; vol. 13467).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    46 Downloads (Pure)

  • Generating Custom Set Theories with Non-set Structured Objects

    Dunne, C., Wells, J. B. & Kamareddine, F., 2021, Intelligent Computer Mathematics. CICM 2021. Kamareddine, F. & Sacerdoti Coen, C. (eds.). Springer, p. 228-244 17 p. (Lecture Notes in Computer Science; vol. 12833).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    1 Citation (Scopus)
    216 Downloads (Pure)

  • Adding an Abstraction Barrier to ZF Set Theory

    Dunne, C., Wells, J. B. & Kamareddine, F., 2020, Intelligent Computer Mathematics. CICM 2020. Benzmüller, C. & Miller, B. (eds.). Springer, p. 89-104 16 p. (Lecture Notes in Computer Science; vol. 12236).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    142 Downloads (Pure)
View all 59 research outputs