Fairouz Kamareddine Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 56(1): 1 (2013)
2012
j103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 55(1): 1-2 (2012)
j102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 55(2): 133-135 (2012)
j101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 55(3): 253-255 (2012)
j100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 55(4): 379-381 (2012)
j99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 55(5): 509-511 (2012)
j98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 55(6): 649-650 (2012)
j97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 55(7): 777-778 (2012)
j96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 55(9): 1021-1022 (2012)
j95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 55(10): 1147 (2012)
j94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 55(11): 1267-1269 (2012)
j93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 55(12): 1419 (2012)
j92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Vincent Rahli, J. B. Wells: Reducibility Proofs in the λ-Calculus. Fundam. Inform. 121(1-4): 121-152 (2012)
j91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells: On Realisability Semantics for Intersection Types with Expansion Variables. Fundam. Inform. 121(1-4): 153-184 (2012)
2011
j90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 54(2): 185-186 (2011)
j89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 54(4): 503-504 (2011)
j88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 54(5): 639-640 (2011)
j87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 54(6): 833-835 (2011)
j86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 54(7): 1005-1009 (2011)
j85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 54(8): 1233-1234 (2011)
j84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 54(9): 1413-1415 (2011)
j83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 54(10): 1561-1564 (2011)
j82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 54(11): 1737-1740 (2011)
j81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 54(12): 1925-1927 (2011)
j80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Electr. Notes Theor. Comput. Sci. 269: 41-54 (2011)
j79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine: Preface. Theor. Comput. Sci. 412(37): 4851-4852 (2011)
2010
j78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 53(6): 619-622 (2010)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC 2010: 232-246
2009
j77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 52(2): 169-170 (2009)
j76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 52(3): 277-279 (2009)
j75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 52(4): 393-394 (2009)
j74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Vincent Rahli: Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction. Electr. Notes Theor. Comput. Sci. 247: 85-101 (2009)
j73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mauricio Ayala-Rincón, Fairouz Kamareddine: Preface. Electr. Notes Theor. Comput. Sci. 256: 1-3 (2009)
j72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Explicit substitutions calculi with one step Eta-reduction decided explicitly. Logic Journal of the IGPL 17(6): 697-718 (2009)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Lamar, Fairouz Kamareddine, J. B. Wells: MathLang Translation to Isabelle Syntax. Calculemus/MKM 2009: 373-388
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 69-82
2008
j71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 51(2): 141-143 (2008)
j70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 51(4): 405-407 (2008)
j69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 51(6): 609-611 (2008)
j68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, J. B. Wells: Computerizing Mathematical Text with MathLang. Electr. Notes Theor. Comput. Sci. 205: 5-30 (2008)
j67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Applied Logic 6(1): 72-108 (2008)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings for Explicit Substitutions Calculi. CiE 2008: 567-578
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells: A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. ICTAC 2008: 171-185
2007
j66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Karim Nour: A completeness result for a realisability semantics for an intersection type system. Ann. Pure Appl. Logic 146(2-3): 180-198 (2007)
j65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 50(1): 1-3 (2007)
j64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 50(2): 131-133 (2007)
j63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 50(3): 251-253 (2007)
j62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 50(4): 373-374 (2007)
j61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 50(5): 501-504 (2007)
j60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule reviews. Comput. J. 50(6): 629 (2007)
j59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos: The Weak Normalization of the Simply Typed lambda-se-calculus. Logic Journal of the IGPL 15(2): 121-147 (2007)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells: Restoring Natural Language as a Computerised Mathematics Input Method. Calculemus/MKM 2007: 280-295
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells: Narrative Structure of Mathematical Texts. Calculemus/MKM 2007: 296-312
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: The Gradual Computerisation of Mathematics in MathLang. SYNASC 2007: 3
2006
j58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 49(1): 1-3 (2006)
j57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 49(3): 255-257 (2006)
j56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 49(4): 381-382 (2006)
j55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 49(5): 505-506 (2006)
j54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 49(6): 631-633 (2006)
j53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine: SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. Journal of Applied Non-Classical Logics 16(1-2): 119-150 (2006)
2005
j52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Logic 134(1): 5-41 (2005)
j51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 48(3): 257-258 (2005)
j50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 48(4): 382-384 (2005)
j49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 48(5): 501 (2005)
j48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Capsule Reviews. Comput. J. 48(6): 627-629 (2005)
j47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Typed lambda-calculi with one binder. J. Funct. Program. 15(5): 771-796 (2005)
j46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Roel Bloo: De Bruijn's syntax and reductional behaviour of lambda-terms: the untyped case. J. Log. Algebr. Program. 62(1): 109-131 (2005)
j45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Roel Bloo: De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case. J. Log. Algebr. Program. 62(2): 159-189 (2005)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Manuel Maarek, J. B. Wells: Toward an Object-Oriented Structure for Mathematical Text. MKM 2005: 217-233
2004
j44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Mathematical Knowledge Management Symposium 2003. Electr. Notes Theor. Comput. Sci. 93: 1-4 (2004)
j43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Manuel Maarek, J. B. Wells: MathLang: Experience-driven Development of a New Mathematical Language. Electr. Notes Theor. Comput. Sci. 93: 138-160 (2004)
j42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Editorial. J. Applied Logic 2(2): 169-172 (2004)
j41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Rob Nederpelt: A Refinement of de Bruijn's Formal Language of Mathematics. Journal of Logic, Language and Information 13(3): 287-340 (2004)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón: Second-Order Matching via Explicit Substitutions. LPAR 2004: 433-448
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Manuel Maarek, J. B. Wells: Flexible Encoding of Mathematics on the Computer. MKM 2004: 160-174
2003
j40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Twan Laan, Rob Nederpelt: Automath and Pure Type Systems. Electr. Notes Theor. Comput. Sci. 85(7): 30-49 (2003)
j39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Alejandro Ríos: Explicit substitutions à la de Bruijn: the local and global way. Electr. Notes Theor. Comput. Sci. 85(7): 86-105 (2003)
j38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Herman Geuvers, Fairouz Kamareddine: Preface. Electr. Notes Theor. Comput. Sci. 85(7): 146-147 (2003)
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Qiao Haiyan: Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF. J. Autom. Reasoning 30(1): 59-98 (2003)
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Twan Laan, Rob Nederpelt: Revisiting the notion of function. J. Log. Algebr. Program. 54(1-2): 65-107 (2003)
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón: On Automating the Extraction of Programs from Termination Proofs. Revista Colombiana de Computación 4(2) (2003)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. B. Wells, Detlef Plump, Fairouz Kamareddine: Diagrams for Meaning Preservation. RTA 2003: 88-106
2002
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Twan Laan, Rob Nederpelt: Types in logic and mathematics before 1940. Bulletin of Symbolic Logic 8(2): 185-245 (2002)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Alejandro Ríos: Pure Type Systems with de Bruijn Indices. Comput. J. 45(2): 187-201 (2002)
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine: Comparing Calculi of Explicit Substitutions with Eta-reduction. Electr. Notes Theor. Comput. Sci. 67: 76-95 (2002)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón: On automating the extraction of programs from proofs using product types. Electr. Notes Theor. Comput. Sci. 67: 233-253 (2002)
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tijn Borghuis, Fairouz Kamareddine, Rob Nederpelt: Formalizing Belief Revision in Type Theory. Logic Journal of the IGPL 10(5): 461-500 (2002)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, François Monin: An Extension of an Automated Termination Method of Recursive Functions. Int. J. Found. Comput. Sci. 13(3): 361-386 (2002)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Special Issue Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn - Preface. J. Autom. Reasoning 29(3-4): 183-188 (2002)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt: Parameters in Pure Type Systems. LATIN 2002: 371-385
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: On Functions and Types: A Tutorial. SOFSEM 2002: 74-93
2001
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Editorial. Logic Journal of the IGPL 9(3): 335-337 (2001)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mauricio Ayala-Rincón, Fairouz Kamareddine: Unification via the lambda se-Style of Explicit Substitutions. Logic Journal of the IGPL 9(4): 489-523 (2001)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Twan Laan: A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems. Journal of Logic, Language and Information 10(3): 375-402 (2001)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Editorial. J. Log. Comput. 11(3): 359-361 (2001)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems. J. Log. Comput. 11(3): 363-394 (2001)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Twan Laan, Rob Nederpelt: Refining the Barendregt Cube Using Parameters. FLOPS 2001: 375-390
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Roel Bloo, Rob Nederpelt: De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms. PPDP 2001: 16-27
2000
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Jan Willem Klop: Editorial. J. Log. Comput. 10(3): 321-322 (2000)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Alejandro Ríos: Relating the [lgr][sgr]- and [lgr]s-styles of explicit substitutions. J. Log. Comput. 10(3): 349-380 (2000)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Postponement, conservation and preservation of strong normalization for generalized reduction. J. Log. Comput. 10(5): 721-738 (2000)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mauricio Ayala-Rincón, Fairouz Kamareddine: Unification via se-style of explicit substitution. PPDP 2000: 163-174
1999
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Roel Bloo, Rob Nederpelt: On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations. Ann. Pure Appl. Logic 97(1-3): 27-45 (1999)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, François Monin: On Automating Inductive and Non-inductive Termination Methods. ASIAN 1999: 177-189
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, François Monin: On Formalised Proofs of Termination of Recursive Functions. PPDP 1999: 29-46
1998
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Alejandro Ríos: Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi. Logic Journal of the IGPL 6(6): 843-874 (1998)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: The Soundness of Explicit Substitution with Nameless Variables. Int. J. Found. Comput. Sci. 9(3): 321- (1998)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Alejandro Ríos, J. B. Wells: Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions. Journal of Functional and Logic Programming 1998(5) (1998)
1997
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Alejandro Ríos: Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms. J. Funct. Program. 7(4): 395-420 (1997)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos: Explicit Substitutions for the Lambda-Calculus. ALP/HOA 1997: 209-223
1996
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roel Bloo, Fairouz Kamareddine, Rob Nederpelt: The Barendregt Cube with Definitions and Generalised Reduction. Inf. Comput. 126(2): 123-143 (1996)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Twan Laan: A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths. Logic Journal of the IGPL 4(2): 195-213 (1996)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Rob Nederpelt: Canonical Typing and Pi-Conversion in the Barendregt Cube. J. Funct. Program. 6(2): 245-267 (1996)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Rob Nederpelt: A Useful lambda-Notation. Theor. Comput. Sci. 155(1): 85-109 (1996)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Alejandro Ríos: Generalized beta-Reduction and Explicit Substitution. PLILP 1996: 378-392
1995
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Important Issues in Foundational Formalisms. Logic Journal of the IGPL 3(2-3): 291-317 (1995)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Rob Nederpelt: Refining Reduction in the Lambda Calculus. J. Funct. Program. 5(4): 637-651 (1995)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: A Type Free Theory and Collective/Distributive Predication. Journal of Logic, Language and Information 4(2): 85-109 (1995)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Alejandro Ríos: A Lambda-Calculus `a la de Bruijn with Explicit Substitutions. PLILP 1995: 45-62
1994
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Rob Nederpelt: A Unified Approach to Type Theory Through a Refined lambda-Calculus. Theor. Comput. Sci. 136(1): 183-216 (1994)
1993
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Rob Nederpelt: On Stepwise Explicit Substitution. Int. J. Found. Comput. Sci. 4(3): 197-240 (1993)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine, Ewan Klein: Polymorphism, Type containment and Nominalization. Journal of Logic, Language and Information 2(3): 171-215 (1993)
1992
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Lambda-Terms, Logic, Determiners and Quantifiers. Journal of Logic, Language and Information 1(1): 79-104 (1992)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Set Theory and Nominalization, Part I. J. Log. Comput. 2(5): 579-604 (1992)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: Set Theory and Nominalization, Part II. J. Log. Comput. 2(6): 687-707 (1992)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fairouz Kamareddine: A System at the Cross-Roads of Functional and Logic Programming. Sci. Comput. Program. 19(3): 239-279 (1992)

Coauthor Index

1Ariel Arbiser
[j59]
2Mauricio Ayala-Rincón
[j80] [j79] [c22] [j73] [j72] [c20] [j67] [c19] [j53] [j52] [c13] [j35] [j32] [j31] [j26] [c6]
3A. V. Barbosa
[j80]
4Gilles Barthe
[c3]
5Roel Bloo
[j46] [j45] [c10] [c7] [j19] [j14]
6Tijn Borghuis
[j30]
7Herman Geuvers
[j38]
8Qiao Haiyan
[j37]
9Ewan Klein
[j5]
10Jan Willem Klop
[j22]
11Twan Laan
[j40] [j36] [j34] [c10] [j25] [c8] [j13]
12Robert Lamar
[c21] [c17]
13Manuel Maarek
[c17] [c16] [c14] [j43] [c12]
14François Monin
[j35] [j31] [j29] [c5] [c4]
15Flávio L. C. de Moura
[j80] [j67] [j53] [j52] [c13] [j32]
16Rob Nederpelt
[j41] [j40] [j36] [j34] [j30] [c10] [c8] [c7] [j19] [j14] [j12] [j11] [j9] [j7] [j6]
17Karim Nour
[j91] [c18] [j66]
18Elaine Pimentel
[j79]
19Detlef Plump
[c11]
20Vincent Rahli
[j92] [j91] [j74] [c18]
21Krzysztof Retel
[c16]
22Alejandro Ríos
[j59] [j39] [j33] [j21] [j18] [j16] [j15] [c3] [c2] [c1]
23Daniel Lima Ventura
[c22] [j72] [c20] [c19]
24J. B. Wells
[j92] [j91] [c21] [j68] [c18] [c17] [c16] [c14] [j43] [c12] [c11] [j16]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 14:55:58 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page