19992021

Research activity per year

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

Search results

  • Conference contribution

    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

  • 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
    65 Downloads (Pure)
  • Advance Gender Prediction Tool of First Names and its Use in Analysing Gender Disparity in Computer Science in the UK, Malaysia and China

    Zhao, H. & Kamareddine, F., 6 Dec 2018, 2017 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE, p. 222-227 6 p.

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

    5 Citations (Scopus)
  • 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

  • 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)
    1192 Downloads (Pure)
  • De Bruijn's syntax and reductional equivalence of λ-terms

    Kamareddine, F., Bloo, R. & Nederpelt, R., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. p. 16-27 12 p.

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

    3 Citations (Scopus)
  • 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
    132 Downloads (Pure)
  • Intersection type systems and explicit substitutions calculi

    Ventura, D. L., Ayala-Rincón, M. & Kamareddine, F., 2010, Logic, Language, Information and Computation - 17th International Workshop, WoLLIC 2010, Proceedings. Vol. 6188 LNAI. p. 232-246 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6188 LNAI).

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

    1 Citation (Scopus)
  • Is the se-calculus strongly normalising?

    Kamareddine, F. D. & Rios, A., 2001, Extended Abstracts of the Fifth International Workshop on Termination. Utrecht, p. 25-28 4 p.

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

  • 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

  • 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)
  • Principal typings for explicit substitutions calculi

    Ventura, D. L., Ayala-Rincón, M. & Kamareddine, F., 2008, Logic and Theory of Algorithms - 4th Conference on Computability in Europe, CiE 2008, Proceedings. Vol. 5028 LNCS. p. 567-578 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5028 LNCS).

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

  • 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)
  • Second-order matching via explicit substitutions

    De Moura, F. L. C., Kamareddine, F. & Ayala-Rincón, M., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3452 LNAI. p. 433-448 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3452 LNAI).

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

    3 Citations (Scopus)
  • The gradual computerisation of mathematics in MathLang

    Kamareddine, F., 2007, Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007. p. 3-

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

  • Unification via λse-style of explicit substitution

    Ayala-Rincón, M. & Kamareddine, F., 2000, Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. p. 163-174 12 p.

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

  • Using MathLang to check the correctness of specifications in object-Z

    Feller, D., Kamareddine, F. D. & Burski, L., 2016, Modern Mathematical Methods and High Performance Computing in Science and Technology: M3HPCST, Ghaziabad, India, December 2015. Singh, V. K., Srivastava, H. M., Venturino, E., Resch, M. & Gupta, V. (eds.). Springer, p. 45-70 26 p. (Springer Proceedings in Mathematics & Statistics; vol. 171).

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