19992024

Research activity per year

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
  • 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access
    File
    63 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 proceedingConference contribution

    Open Access
    File
    1 Citation (Scopus)
    243 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 proceedingConference contribution

    Open Access
    File
    160 Downloads (Pure)