Found: 48

Select item for more details and to access through your institution.

  • Typed $\lambda$-calculi with one binder.

    Published in:
    Journal of Functional Programming, 2005, v. 15, n. 5, p. 771, doi. 10.1017/s095679680500554x
    By:
    • FAIROUZ KAMAREDDINE
    Publication type:
    Article

  • Extending a »-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms.

    Published in:
    Journal of Functional Programming, 1997, v. 7, n. 4, p. 395, doi. 10.1017/s0956796897002785
    By:
    • KAMAREDDINE, FAIROUZ;
    • RÍOS, ALEJANDRO
    Publication type:
    Article

  • Canonical typing and ∏-conversion in the Barendregt Cube.

    Published in:
    Journal of Functional Programming, 1996, v. 6, n. 2, p. 245, doi. 10.1017/S0956796800001672
    By:
    • Kamareddine, Fairouz;
    • Nederpelt, Rob
    Publication type:
    Article

  • Refining reduction in the lambda calculus.

    Published in:
    Journal of Functional Programming, 1995, v. 5, n. 4, p. 637, doi. 10.1017/S0956796800001507
    By:
    • Kamareddine, Fairouz;
    • Nederpelt, Rob
    Publication type:
    Article

  • Explicit substitution calculi with de Bruijn indices and intersection type systems.

    Published in:
    Logic Journal of the IGPL, 2015, v. 23, n. 2, p. 295, doi. 10.1093/jigpal/jzu044
    By:
    • VENTURA, DANIEL LIMA;
    • KAMAREDDINE, FAIROUZ;
    • AYALA-RINCÓN, MAURICIO
    Publication type:
    Article

  • An Extension of an Automated Termination Method of Recursive Functions.

    Published in:
    International Journal of Foundations of Computer Science, 2002, v. 13, n. 3, p. 361, doi. 10.1142/S0129054102001163
    By:
    • Kamareddine, Fairouz;
    • Monin, Francois
    Publication type:
    Article

  • THE SOUNDNESS OF EXPLICIT SUBSTITUTION WITH NAMELESS VARIABLES.

    Published in:
    International Journal of Foundations of Computer Science, 1998, v. 9, n. 3, p. 321, doi. 10.1142/S0129054198000210
    By:
    • KAMAREDDINE, FAIROUZ
    Publication type:
    Article

  • ON STEPWISE EXPLICIT SUBSTITUTION.

    Published in:
    International Journal of Foundations of Computer Science, 1993, v. 4, n. 3, p. 197, doi. 10.1142/S0129054193000146
    By:
    • KAMAREDDINE, FAIROUZ;
    • NEDERPELT, ROB
    Publication type:
    Article

  • Editorial.

    Published in:
    2001
    By:
    • Kamareddine, Fairouz
    Publication type:
    Editorial

  • Reviewing the Classical and the de Bruijn Notation for λ-calculus and Pure Type Systems.

    Published in:
    Journal of Logic & Computation, 2001, v. 11, n. 3, doi. 10.1093/logcom/11.3.363
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Postponement, conservation and preservation of strong normalization for generalized reduction.

    Published in:
    Journal of Logic & Computation, 2000, v. 10, n. 5, p. 721, doi. 10.1093/logcom/10.5.721
    By:
    • Kamareddine, F;
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Relating the λσ- and λ s -styles of explicit substitutions.

    Published in:
    Journal of Logic & Computation, 2000, v. 10, n. 3, p. 349, doi. 10.1093/logcom/10.3.349
    By:
    • KAMAREDDINE, FAIROUZ;
    • RÌOS, ALEJANDRO
    Publication type:
    Article

  • Explicit substitutions calculi with one step Eta-reduction decided explicitly.

    Published in:
    Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 697, doi. 10.1093/jigpal/jzp027
    By:
    • Ventura, Daniel;
    • Ayala-Rincón, Mauricio;
    • Kamareddine, Fairouz
    Publication type:
    Article

  • The Weak Normalization of the Simply Typed λse-calculus.

    Published in:
    Logic Journal of the IGPL, 2007, v. 15, n. 2, p. 121, doi. 10.1093/jigpal/jzm003
    By:
    • Arbiser, Ariel;
    • Kamareddine, Fairouz;
    • Rios, Alejandro
    Publication type:
    Article

  • Formalizing Belief Revision in Type Theory.

    Published in:
    Logic Journal of the IGPL, 2002, v. 10, n. 5, p. 461, doi. 10.1093/jigpal/10.5.461
    By:
    • Borghuis, Tijn;
    • Kamareddine, Fairouz;
    • Nederpelt, Rob
    Publication type:
    Article

  • Thematic Editorial, It Is Hard To Imagine A World Without Algorithms and Data Science.

    Published in:
    Computer Journal, 2024, v. 67, n. 5, p. 1605, doi. 10.1093/comjnl/bxae046
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Message from the Editors.

    Published in:
    2008
    By:
    • Kamareddine, Fairouz
    Publication type:
    Editorial

  • Capsule Reviews.

    Published in:
    Computer Journal, 2013, v. 56, n. 1, p. 1, doi. 10.1093/comjnl/bxs165
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2012, v. 55, n. 12, p. 1419, doi. 10.1093/comjnl/bxs155
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2012, v. 55, n. 11, p. 1267, doi. 10.1093/comjnl/bxs145
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2012, v. 55, n. 10, p. 1147, doi. 10.1093/comjnl/bxs137
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2012, v. 55, n. 9, p. 1021, doi. 10.1093/comjnl/bxs118
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2012, v. 55, n. 7, p. 777, doi. 10.1093/comjnl/bxs094
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2012, v. 55, n. 6, p. 649, doi. 10.1093/comjnl/bxs062
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2012, v. 55, n. 5, p. 509, doi. 10.1093/comjnl/bxs048
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2012, v. 55, n. 4, p. 379, doi. 10.1093/comjnl/bxs034
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2012, v. 55, n. 3, p. 253, doi. 10.1093/comjnl/bxs023
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2012, v. 55, n. 2, p. 133, doi. 10.1093/comjnl/bxs007
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    2012
    By:
    • Kamareddine, Fairouz
    Publication type:
    Abstract

  • Capsule Reviews.

    Published in:
    Computer Journal, 2011, v. 54, n. 12, p. 1925, doi. 10.1093/comjnl/bxr121
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2011, v. 54, n. 11, p. 1737, doi. 10.1093/comjnl/bxr114
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2011, v. 54, n. 10, p. 1561, doi. 10.1093/comjnl/bxr101
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2011, v. 54, n. 9, p. 1413, doi. 10.1093/comjnl/bxr083
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2011, v. 54, n. 8, p. 1233, doi. 10.1093/comjnl/bxr075
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2011, v. 54, n. 7, p. 1005, doi. 10.1093/comjnl/bxr058
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2011, v. 54, n. 6, p. 833, doi. 10.1093/comjnl/bxr054
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2011, v. 54, n. 5, p. 639, doi. 10.1093/comjnl/bxr044
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2011, v. 54, n. 4, p. 503, doi. 10.1093/comjnl/bxr031
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2011, v. 54, n. 2, p. 185, doi. 10.1093/comjnl/bxr003
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2010, v. 53, n. 6, p. 619, doi. 10.1093/comjnl/bxq057
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2006, v. 49, n. 6, p. 631, doi. 10.1093/comjnl/bxl061
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2006, v. 49, n. 5, p. 505, doi. 10.1093/comjnl/bxl054
    By:
    • KAMAREDDINE, FAIROUZ
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2006, v. 49, n. 1, p. 1, doi. 10.1093/comjnl/bxh160
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2005, v. 48, n. 6, p. 627, doi. 10.1093/comjnl/bxh143
    By:
    • KAMAREDDINE, FAIROUZ
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2005, v. 48, n. 5, p. 501, doi. 10.1093/comjnl/bxh137
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2005, v. 48, n. 4, p. 382, doi. 10.1093/comjnl/bxh123
    By:
    • Kamareddine, Fairouz
    Publication type:
    Article

  • Capsule Reviews.

    Published in:
    Computer Journal, 2005, v. 48, n. 3, p. 257, doi. 10.1093/comjnl/bxh106
    By:
    • KAMAREDDINE, FAIROUZ
    Publication type:
    Article

  • Pure Type Systems with de Bruijn Indices.

    Published in:
    Computer Journal, 2002, v. 45, n. 2, p. 187, doi. 10.1093/comjnl/45.2.187
    By:
    • Kamareddine, Fairouz;
    • R&#00Ed;os, Alejandro
    Publication type:
    Article