Fairouz Kamareddine

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 18

Top Venues

CoRR

CICM

LSFA

CSR

Publications

Fairouz Kamareddine
Substitution in the lambda Calculus and the role of the Curry School. CoRR (2024)
Fairouz Kamareddine, Jonathan P. Seldin
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today. CoRR (2024)
Fairouz Kamareddine
Thematic Editorial, It Is Hard To Imagine A World Without Algorithms and Data Science. Comput. J. 67 (5) (2024)
Fairouz Kamareddine, Joe B. Wells
Intersection Types via Finite-Set Declarations. CoRR (2024)
Luka Vrecar, Joe B. Wells, Fairouz Kamareddine
Towards Semantic Markup of Mathematical Documents via User Interaction. CICM (2024)
Fairouz Kamareddine, Joe B. Wells
Intersection Types via Finite-Set Declarations. WoLLIC (2024)
Fairouz Kamareddine, Jonathan P. Seldin
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today. SYNASC (2023)
Ciarán Dunne, J. B. Wells, Fairouz Kamareddine
Generating Custom Set Theories with Non-set Structured Objects. CICM (2021)
Hua Zhao, Fairouz Kamareddine, Alasdair J. G. Gray, Hind Zantout
A Novel Method That Identifies The Hidden Properties Of A Person's Name In Kanji Or Hanzi. MISNC (2021)
Ciarán Dunne, J. B. Wells, Fairouz Kamareddine
Adding an Abstraction Barrier to ZF Set Theory. CoRR (2020)
Ciarán Dunne, J. B. Wells, Fairouz Kamareddine
Adding an Abstraction Barrier to ZF Set Theory. CICM (2020)
Imran Sarwar Bajwa, Fairouz Kamareddine, Pamini Thangarajah
Intelligent Computing for Society. J. Univers. Comput. Sci. 25 (10) (2019)
Hua Zhao, Fairouz Kamareddine
A Novel Phonetic Algorithm for Predicting Chinese Names using Chinese Pin Yin. MLDM (1) (2019)
Dee Quinlan, Joe B. Wells, Fairouz Kamareddine
BNF-Style Notation as It Is Actually Used. CICM (2019)
Hua Zhao, Fairouz Kamareddine
Advance gender prediction tool of first names and its use in analysing gender disparity in Computer Science in the UK, Malaysia and China. CoRR (2019)
David Feller, Joe B. Wells, Fairouz Kamareddine, Sébastien Carlier
What Does This Notation Mean Anyway? CoRR (2018)
Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine
Skalpel: A constraint-based type error slicer for Standard ML. J. Symb. Comput. 80 (2017)
Fairouz Kamareddine, Jonathan P. Seldin, J. B. Wells
Bridging Curry and Church's typing style. J. Appl. Log. 18 (2016)
Daniel Lima Ventura, Fairouz Kamareddine, Mauricio Ayala-Rincón
Explicit substitution calculi with de Bruijn indices and intersection type systems. Log. J. IGPL 23 (2) (2015)
Fairouz Kamareddine, Joe B. Wells, Daniel Lima Ventura
Automath Type Inclusion in Barendregt's Cube. CSR (2015)
Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine
Skalpel: A Type Error Slicer for Standard ML. LSFA (2014)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 56 (1) (2013)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 55 (10) (2012)
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
On Realisability Semantics for Intersection Types with Expansion Variables. Fundam. Informaticae 121 (1-4) (2012)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 55 (3) (2012)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 55 (6) (2012)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 55 (7) (2012)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 55 (2) (2012)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 55 (4) (2012)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 55 (9) (2012)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 55 (11) (2012)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 55 (12) (2012)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 55 (1) (2012)
Fairouz Kamareddine, Vincent Rahli, J. B. Wells
Reducibility Proofs in the λ-Calculus. Fundam. Informaticae 121 (1-4) (2012)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 55 (5) (2012)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 54 (9) (2011)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 54 (4) (2011)
Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine
Preface. Theor. Comput. Sci. 412 (37) (2011)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 54 (7) (2011)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 54 (12) (2011)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 54 (10) (2011)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 54 (5) (2011)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 54 (2) (2011)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 54 (8) (2011)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 54 (11) (2011)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 54 (6) (2011)
Flávio L. C. de Moura, A. V. Barbosa, Mauricio Ayala-Rincón, Fairouz Kamareddine
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi. LSFA (2010)
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC (2010)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 53 (6) (2010)
Mauricio Ayala-Rincón, Fairouz Kamareddine
Preface. LSFA (2009)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 52 (2) (2009)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 52 (4) (2009)
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Explicit substitutions calculi with one step Eta-reduction decided explicitly. Log. J. IGPL 17 (6) (2009)
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices WRS (2009)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 52 (3) (2009)
Robert Lamar, Fairouz Kamareddine, J. B. Wells
MathLang Translation to Isabelle Syntax. Calculemus/MKM (2009)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 51 (6) (2008)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 51 (4) (2008)
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. ICTAC (2008)
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Principal Typings for Explicit Substitutions Calculi. CiE (2008)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 51 (2) (2008)
Fairouz Kamareddine, Vincent Rahli
Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction. LSFA (2008)
Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions. J. Appl. Log. 6 (1) (2008)
Fairouz Kamareddine
The Gradual Computerisation of Mathematics in MathLang. SYNASC (2007)
Fairouz Kamareddine, Karim Nour
A completeness result for a realisability semantics for an intersection type system. Ann. Pure Appl. Log. 146 (2-3) (2007)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 50 (4) (2007)
Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
Narrative Structure of Mathematical Texts. Calculemus/MKM (2007)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 50 (2) (2007)
Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos
-calculus. Log. J. IGPL 15 (2) (2007)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 50 (1) (2007)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 50 (3) (2007)
Fairouz Kamareddine, J. B. Wells
Computerizing Mathematical Text with MathLang. LSFA (2007)
Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells
Restoring Natural Language as a Computerised Mathematics Input Method. Calculemus/MKM (2007)
Fairouz Kamareddine
Capsule reviews. Comput. J. 50 (6) (2007)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 50 (5) (2007)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 49 (4) (2006)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 49 (1) (2006)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 49 (3) (2006)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 49 (5) (2006)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 49 (6) (2006)
Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. J. Appl. Non Class. Logics 16 (1-2) (2006)
Fairouz Kamareddine
Typed lambda-calculi with one binder. J. Funct. Program. 15 (5) (2005)
Fairouz Kamareddine, Roel Bloo
De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case. J. Log. Algebraic Methods Program. 62 (2) (2005)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 48 (4) (2005)
Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine
Comparing and implementing calculi of explicit substitutions with eta-reduction. Ann. Pure Appl. Log. 134 (1) (2005)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 48 (6) (2005)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 48 (3) (2005)
Fairouz Kamareddine
Capsule Reviews. Comput. J. 48 (5) (2005)
Fairouz Kamareddine, Roel Bloo
De Bruijn's syntax and reductional behaviour of lambda-terms: the untyped case. J. Log. Algebraic Methods Program. 62 (1) (2005)
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
Toward an Object-Oriented Structure for Mathematical Text. MKM (2005)
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
MathLang: Experience-driven Development of a New Mathematical Language. Electron. Notes Theor. Comput. Sci. 93 (2004)
Fairouz Kamareddine, Rob Nederpelt
A Refinement of de Bruijn's Formal Language of Mathematics. J. Log. Lang. Inf. 13 (3) (2004)
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
Flexible Encoding of Mathematics on the Computer. MKM (2004)
Fairouz Kamareddine
Editorial. J. Appl. Log. 2 (2) (2004)
Fairouz Kamareddine
Mathematical Knowledge Management Symposium 2003. Electron. Notes Theor. Comput. Sci. 93 (2004)
Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón
Second-Order Matching via Explicit Substitutions. LPAR (2004)
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Revisiting the notion of function. J. Log. Algebraic Methods Program. 54 (1-2) (2003)
Fairouz Kamareddine, Qiao Haiyan
Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF. J. Autom. Reason. 30 (1) (2003)
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Automath and Pure Type Systems. Electron. Notes Theor. Comput. Sci. 85 (7) (2003)
Fairouz Kamareddine, Alejandro Ríos
Explicit substitutions à la de Bruijn: the local and global way. Electron. Notes Theor. Comput. Sci. 85 (7) (2003)

Fairouz Kamareddine.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fairouz Kamareddine