Fairouz Kamareddine

158 papers B 3C 15Misc 4Journal 105Unranked 23

Year	Rank	Type	Title / 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