Fairouz Kamareddine

158 papers B 3C 15Misc 4Journal 105Unranked 23
YearRankTypeTitle / Venue / Authors
2025 C conf
A Formal Description of an Algorithm Suitable for Parsing the Language of Mathematics.
CICM
Luka Vrecar, Joe B. Wells, Fairouz Kamareddine
2024 C conf
Intersection Types via Finite-Set Declarations.
WoLLIC
Fairouz Kamareddine, Joe B. Wells
2024 J jnl
Intersection Types via Finite-Set Declarations.
CoRR
Fairouz Kamareddine, Joe B. Wells
2024 J jnl
Substitution in the lambda Calculus and the role of the Curry School.
CoRR
Fairouz Kamareddine
2024 J jnl
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today.
CoRR
Fairouz Kamareddine, Jonathan P. Seldin
2024 J jnl
Thematic Editorial, It Is Hard To Imagine A World Without Algorithms and Data Science.
Comput. J.
Fairouz Kamareddine
2024 C conf
Towards Semantic Markup of Mathematical Documents via User Interaction.
CICM
Luka Vrecar, Joe B. Wells, Fairouz Kamareddine
2024 J jnl
Towards Semantic Markup of Mathematical Documents via User Interaction.
CoRR
Luka Vrecar, Joe B. Wells, Fairouz Kamareddine
2023 Misc conf
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today.
SYNASC
Fairouz Kamareddine, Jonathan P. Seldin
2021 — conf
A Novel Method That Identifies The Hidden Properties Of A Person's Name In Kanji Or Hanzi.
MISNC
Hua Zhao, Fairouz Kamareddine, Alasdair J. G. Gray, Hind Zantout
2021 C conf
Generating Custom Set Theories with Non-set Structured Objects.
CICM
Ciarán Dunne, J. B. Wells, Fairouz Kamareddine
2021 C ed.
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings
CICM
Fairouz Kamareddine, Claudio Sacerdoti Coen
2020 C conf
Adding an Abstraction Barrier to ZF Set Theory.
CICM
Ciarán Dunne, J. B. Wells, Fairouz Kamareddine
2020 J jnl
Adding an Abstraction Barrier to ZF Set Theory.
CoRR
Ciarán Dunne, J. B. Wells, Fairouz Kamareddine
2019 — conf
A Novel Phonetic Algorithm for Predicting Chinese Names using Chinese Pin Yin.
MLDM (1)
Hua Zhao, Fairouz Kamareddine
2019 J jnl
Advance gender prediction tool of first names and its use in analysing gender disparity in Computer Science in the UK, Malaysia and China.
CoRR
Hua Zhao, Fairouz Kamareddine
2019 C conf
BNF-Style Notation as It Is Actually Used.
CICM
Dee Quinlan, Joe B. Wells, Fairouz Kamareddine
2019 J jnl
Intelligent Computing for Society.
J. Univers. Comput. Sci.
Imran Sarwar Bajwa, Fairouz Kamareddine, Pamini Thangarajah
2019 — ed.
Intelligent Technologies and Applications - First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers
INTAP
Imran Sarwar Bajwa, Fairouz Kamareddine, Anna H. R. Costa
2018 J jnl
What Does This Notation Mean Anyway?
CoRR
David Feller, Joe B. Wells, Fairouz Kamareddine, Sébastien Carlier
2017 J jnl
Skalpel: A constraint-based type error slicer for Standard ML.
J. Symb. Comput.
Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine
2016 J jnl
Bridging Curry and Church's typing style.
J. Appl. Log.
Fairouz Kamareddine, Jonathan P. Seldin, J. B. Wells
2015 Misc conf
Automath Type Inclusion in Barendregt's Cube.
CSR
Fairouz Kamareddine, Joe B. Wells, Daniel Lima Ventura
2015 J jnl
Explicit substitution calculi with de Bruijn indices and intersection type systems.
Log. J. IGPL
Daniel Lima Ventura, Fairouz Kamareddine, Mauricio Ayala-Rincón
2014 — ch.
Computerising Mathematical Text.
Computational Logic
Fairouz Kamareddine, Joe B. Wells, Christoph Zengler, Henk Barendregt
2014 — conf
Skalpel: A Type Error Slicer for Standard ML.
LSFA
Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine
2013 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2013 — ed.
Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012.
SCSS
Adel Bouhoula, Tetsuo Ida, Fairouz Kamareddine
2012 — ch.
A History of Types
Logic: A History of its Central Concepts
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
2012 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2012 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2012 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2012 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2012 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2012 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2012 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2012 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2012 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2012 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2012 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2012 J jnl
On Realisability Semantics for Intersection Types with Expansion Variables.
Fundam. Informaticae
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
2012 J jnl
Reducibility Proofs in the λ-Calculus.
Fundam. Informaticae
Fairouz Kamareddine, Vincent Rahli, J. B. Wells
2012 — ch.
Russell's Orders in Kripke's Theory of Truth and Computational Type Theory.
Sets and Extensions in the Twentieth Century
Fairouz Kamareddine, Twan Laan, Robert L. Constable
2011 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2011 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2011 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2011 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2011 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2011 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2011 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2011 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2011 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2011 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2011 J jnl
Preface.
Theor. Comput. Sci.
Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine
2010 — conf
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi.
LSFA
Flávio L. C. de Moura, A. V. Barbosa, Mauricio Ayala-Rincón, Fairouz Kamareddine
2010 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2010 C conf
Intersection Type Systems and Explicit Substitutions Calculi.
WoLLIC
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
2009 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2009 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2009 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2009 J jnl
Explicit substitutions calculi with one step Eta-reduction decided explicitly.
Log. J. IGPL
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
2009 — conf
MathLang Translation to Isabelle Syntax.
Calculemus/MKM
Robert Lamar, Fairouz Kamareddine, J. B. Wells
2009 — conf
Preface.
LSFA
Mauricio Ayala-Rincón, Fairouz Kamareddine
2009 — conf
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
WRS
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
2009 — ed.
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009
LSFA
Mauricio Ayala-Rincón, Fairouz Kamareddine
2008 C conf
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.
ICTAC
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
2008 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2008 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2008 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2008 J jnl
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions.
J. Appl. Log.
Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine
2008 C conf
Principal Typings for Explicit Substitutions Calculi.
CiE
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
2008 — conf
Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction.
LSFA
Fairouz Kamareddine, Vincent Rahli
2007 J jnl
A completeness result for a realisability semantics for an intersection type system.
Ann. Pure Appl. Log.
Fairouz Kamareddine, Karim Nour
2007 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2007 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2007 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2007 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2007 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2007 J jnl
Capsule reviews.
Comput. J.
Fairouz Kamareddine
2007 — conf
Computerizing Mathematical Text with MathLang.
LSFA
Fairouz Kamareddine, J. B. Wells
2007 — conf
Narrative Structure of Mathematical Texts.
Calculemus/MKM
Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
2007 — conf
Restoring Natural Language as a Computerised Mathematics Input Method.
Calculemus/MKM
Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells
2007 Misc conf
The Gradual Computerisation of Mathematics in MathLang.
SYNASC
Fairouz Kamareddine
2007 J jnl
The Weak Normalization of the Simply Typed lambda-
Log. J. IGPL
Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos
2006 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2006 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2006 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2006 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2006 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2006 J jnl
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi.
J. Appl. Non Class. Logics
Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine
2005 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2005 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2005 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2005 J jnl
Capsule Reviews.
Comput. J.
Fairouz Kamareddine
2005 J jnl
Comparing and implementing calculi of explicit substitutions with eta-reduction.
Ann. Pure Appl. Log.
Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine
2005 J jnl
De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case.
J. Log. Algebraic Methods Program.
Fairouz Kamareddine, Roel Bloo
2005 J jnl
De Bruijn's syntax and reductional behaviour of lambda-terms: the untyped case.
J. Log. Algebraic Methods Program.
Fairouz Kamareddine, Roel Bloo
2005 — conf
Toward an Object-Oriented Structure for Mathematical Text.
MKM
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
2005 J jnl
Typed lambda-calculi with one binder.
J. Funct. Program.
Fairouz Kamareddine
2004 J jnl
A Refinement of de Bruijn's Formal Language of Mathematics.
J. Log. Lang. Inf.
Fairouz Kamareddine, Rob Nederpelt
2004 J jnl
Editorial.
J. Appl. Log.
Fairouz Kamareddine
2004 — conf
Flexible Encoding of Mathematics on the Computer.
MKM
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
2004 — ed.
Proceedings of the Mathematical Knowledge Management Symposium, MKM Symposium 2003, Edinburgh, UK, November 25-29, 2003
MKM Symposium
Fairouz Kamareddine
2004 B conf
Second-Order Matching via Explicit Substitutions.
LPAR
Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón
2003 — conf
Automath and Pure Type Systems.
Mathematics, Logic and Computation @ ICALP
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
2003 — conf
Diagrams for Meaning Preservation.
RTA
J. B. Wells, Detlef Plump, Fairouz Kamareddine
2003 — conf
Explicit substitutions à la de Bruijn: the local and global way.
Mathematics, Logic and Computation @ ICALP
Fairouz Kamareddine, Alejandro Ríos
2003 J jnl
Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF.
J. Autom. Reason.
Fairouz Kamareddine, Qiao Haiyan
2003 — conf
MathLang: Experience-driven Development of a New Mathematical Language.
MKM Symposium
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
2003 — conf
Mathematical Knowledge Management Symposium 2003.
MKM Symposium
Fairouz Kamareddine
2003 — ed.
Mathematics, Logic and Computation, Satellite Event of ICALP 2003, Eindhoven, The Netherlands, July 4-5, 2003
Mathematics, Logic and Computation @ ICALP
Herman Geuvers, Fairouz Kamareddine
2003 J jnl
On Automating the Extraction of Programs from Termination Proofs.
Rev. Colomb. de Computación
Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón
2003 — conf
Preface.
Mathematics, Logic and Computation @ ICALP
Herman Geuvers, Fairouz Kamareddine
2003 J jnl
Revisiting the notion of function.
J. Log. Algebraic Methods Program.
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
2002 J jnl
An Extension of an Automated Termination Method of Recursive Functions.
Int. J. Found. Comput. Sci.
Fairouz Kamareddine, François Monin
2002 C conf
Comparing Calculi of Explicit Substitutions with Eta-reduction.
WoLLIC
Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine
2002 J jnl
Formalizing Belief Revision in Type Theory.
Log. J. IGPL
Tijn Borghuis, Fairouz Kamareddine, Rob Nederpelt
2002 B conf
On Functions and Types: A Tutorial.
SOFSEM
Fairouz Kamareddine
2002 C conf
On automating the extraction of programs from proofs using product types.
WoLLIC
Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón
2002 B conf
Parameters in Pure Type Systems.
LATIN
Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt
2002 J jnl
Pure Type Systems with de Bruijn Indices.
Comput. J.
Fairouz Kamareddine, Alejandro Ríos
2002 J jnl
Special Issue Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn - Preface.
J. Autom. Reason.
Fairouz Kamareddine
2002 J jnl
Types in logic and mathematics before 1940.
Bull. Symb. Log.
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
2001 J jnl
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems.
J. Log. Lang. Inf.
Fairouz Kamareddine, Twan Laan
2001 C conf
De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms.
PPDP
Fairouz Kamareddine, Roel Bloo, Rob Nederpelt
2001 J jnl
Editorial.
Log. J. IGPL
Fairouz Kamareddine
2001 J jnl
Editorial.
J. Log. Comput.
Fairouz Kamareddine
2001 Misc conf
Refining the Barendregt Cube Using Parameters.
FLOPS
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
2001 J jnl
Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems.
J. Log. Comput.
Fairouz Kamareddine
2001 J jnl
Unification via the lambda s
Log. J. IGPL
Mauricio Ayala-Rincón, Fairouz Kamareddine
2000 J jnl
Editorial.
J. Log. Comput.
Fairouz Kamareddine, Jan Willem Klop
2000 J jnl
Postponement, conservation and preservation of strong normalization for generalized reduction.
J. Log. Comput.
Fairouz Kamareddine
2000 J jnl
Relating the λσ- and λs-styles of explicit substitutions.
J. Log. Comput.
Fairouz Kamareddine, Alejandro Ríos
2000 C conf
Unification via
PPDP
Mauricio Ayala-Rincón, Fairouz Kamareddine
1999 — conf
On Automating Inductive and Non-inductive Termination Methods.
ASIAN
Fairouz Kamareddine, François Monin
1999 C conf
On Formalised Proofs of Termination of Recursive Functions.
PPDP
Fairouz Kamareddine, François Monin
1999 J jnl
On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations.
Ann. Pure Appl. Log.
Fairouz Kamareddine, Roel Bloo, Rob Nederpelt
1998 J jnl
Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi.
Log. J. IGPL
Fairouz Kamareddine, Alejandro Ríos
1998 J jnl
Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions.
J. Funct. Log. Program.
Fairouz Kamareddine, Alejandro Ríos, J. B. Wells
1998 J jnl
The Soundness of Explicit Substitution with Nameless Variables.
Int. J. Found. Comput. Sci.
Fairouz Kamareddine
1997 — conf
Explicit Substitutions for the Lambda-Calculus.
ALP/HOA
Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos
1997 J jnl
Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms.
J. Funct. Program.
Fairouz Kamareddine, Alejandro Ríos
1996 J jnl
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths.
Log. J. IGPL
Fairouz Kamareddine, Twan Laan
1996 J jnl
A Useful lambda-Notation.
Theor. Comput. Sci.
Fairouz Kamareddine, Rob Nederpelt
1996 J jnl
Canonical Typing and Pi-Conversion in the Barendregt Cube.
J. Funct. Program.
Fairouz Kamareddine, Rob Nederpelt
1996 — conf
Generalized beta-Reduction and Explicit Substitution.
PLILP
Fairouz Kamareddine, Alejandro Ríos
1996 J jnl
The Barendregt Cube with Definitions and Generalised Reduction.
Inf. Comput.
Roel Bloo, Fairouz Kamareddine, Rob Nederpelt
1995 — conf
A Lambda-Calculus à la de Bruijn with Explicit Substitutions
PLILP
Fairouz Kamareddine, Alejandro Ríos
1995 J jnl
A Type Free Theory and Collective/Distributive Predication.
J. Log. Lang. Inf.
Fairouz Kamareddine
1995 J jnl
Important Issues in Foundational Formalisms.
Log. J. IGPL
Fairouz Kamareddine
1995 J jnl
Refining Reduction in the Lambda Calculus.
J. Funct. Program.
Fairouz Kamareddine, Rob Nederpelt
1994 J jnl
A Unified Approach to Type Theory Through a Refined lambda-Calculus.
Theor. Comput. Sci.
Fairouz Kamareddine, Rob Nederpelt
1993 J jnl
On Stepwise Explicit Substitution.
Int. J. Found. Comput. Sci.
Fairouz Kamareddine, Rob Nederpelt
1993 J jnl
Polymorphism, Type containment and Nominalization.
J. Log. Lang. Inf.
Fairouz Kamareddine, Ewan Klein
1992 J jnl
A System at the Cross-Roads of Functional and Logic Programming.
Sci. Comput. Program.
Fairouz Kamareddine
1992 J jnl
Set Theory and Nominalization, Part I.
J. Log. Comput.
Fairouz Kamareddine
1992 J jnl
Set Theory and Nominalization, Part II.
J. Log. Comput.
Fairouz Kamareddine
1992 J jnl
λ-Terms, Logic, Determiners and Quantifiers.
J. Log. Lang. Inf.
Fairouz Kamareddine