Joseph Brian Wells

Dr

  • EH14 4AS

    United Kingdom

19992020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2020

    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
    29 Downloads (Pure)
  • 2019

    BNF-Style Notation as It Is Actually Used

    Quinlan, D., Wells, J. B. & Kamareddine, F., 3 Jul 2019, Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Proceedings: CICM 2019. Kaliszyk, C., Brady, E., Kohlhase, A. & Sacerdoti Coen, C. (eds.). Springer, p. 187-204 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11617 LNAI).

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

    Open Access
    File
    2 Citations (Scopus)
    750 Downloads (Pure)
  • Proof-carrying plans

    Schwaab, C., Komendantskaya, E., Hill, A., Farka, F., Petrick, R. P. A., Wells, J. & Hammond, K., 2019, Practical Aspects of Declarative Languages: PADL 2019. Alferes, J. J. & Johansson, M. (eds.). Springer, p. 204-220 17 p. (Lecture Notes in Computer Science; vol. 11372).

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

    Open Access
    File
    1 Citation (Scopus)
    13 Downloads (Pure)
  • 2015

    Automath Type Inclusion in Barendregt’s Cube

    Kamareddine, F. D., Wells, J. B. & Ventura, D. L., 23 Jun 2015, Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings. Springer International Publishing, p. 262-282 21 p. (Lecture Notes in Computer Science; vol. 9139).

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

  • 2012

    Expansion for Universal Quantifiers

    Lenglet, S. & Wells, J. B., 2012, Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012. Springer, p. 456-475 20 p. (Lecture Notes in Computer Science; vol. 7211).

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

    2 Citations (Scopus)
  • 2010

    Expressiveness of generic process shape types

    Jakubův, J. & Wells, J. B., 2010, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Revised Selected Papers. Vol. 6084 LNCS. p. 103-119 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6084 LNCS).

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

    4 Citations (Scopus)
  • 2009

    MathLang translation to isabelle syntax

    Lamar, R., Kamareddine, F. & Wells, J. B., 2009, Intelligent Computer Mathematics - 16th Symposium, Calculemus 2009 - 8th International Conference, MKM 2009 - Held as Part of CICM 2009, Proceedings. Vol. 5625 LNAI. p. 373-388 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5625 LNAI).

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

  • 2008

    A complete realisability semantics for intersection types and infinite expansion variables

    Kamareddine, F. D., Nour, K., Rahli, V. & Wells, J. B., 2008, 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008. Springer, Vol. LNCS 5160.

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

  • 2007

    Narrative structure of mathematical texts

    Kamareddine, F., Maarek, M., Retel, K. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007 - 6th International Conference, MKM 2007, Proceedings. Vol. 4573 LNAI. p. 296-312 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4573 LNAI).

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

    9 Citations (Scopus)
  • Restoring natural language as a computerised mathematics input method

    Kamareddine, F., Lamar, R., Maarek, M. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007 - 6th International Conference, MKM 2007, Proceedings. Vol. 4573 LNAI. p. 280-295 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4573 LNAI).

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

    5 Citations (Scopus)
  • 2006

    Toward an object-oriented structure for mathematical text

    Kamareddirie, F., Maarek, M. & Wells, J. B., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3863 LNAI. p. 217-233 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3863 LNAI).

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

    3 Citations (Scopus)
  • 2005

    Graph-based proof counting and enumeration with applications for program fragment synthesis

    Wells, J. B. & Yakobowski, B., 2005, In Logic Based Program Synthesis & Transformation, 14th Int'l Symp., LOPSTR 2004, August 2004, Revised Selected Papers, Verona, Italy. LNCS, Springer-Verlag..

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

  • 2004

    Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction

    Carlier, S. & Wells, J. B., 2004, Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04. p. 132-143 12 p.

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

    4 Citations (Scopus)
  • 2003

    Compilation of Extended Recursion in Call-by-Value Functional Languages

    Hirschowitz, T., Leroy, X. & Wells, J. B., 2003, Proceedings of the Fifth ACM SIGPLAN Conference on Principle and Practice of Declarative Programming, (PPDP 03). Vol. 5. p. 160-171 12 p.

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

    17 Citations (Scopus)