| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fairouz Kamareddine |
Capsule Reviews.  |
Comput. J.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine |
Preface. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
Intersection Type Systems and Explicit Substitutions Calculi. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
Explicit substitutions calculi with one step Eta-reduction decided explicitly. |
Logic Journal of the IGPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Vincent Rahli |
Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Fairouz Kamareddine |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Lamar, Fairouz Kamareddine, J. B. Wells |
MathLang Translation to Isabelle Syntax. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, J. B. Wells |
Computerizing Mathematical Text with MathLang. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells |
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
Principal Typings for Explicit Substitutions Calculi. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
lambda-calculus, explicit substitution, principal typings |
| 1 | Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos |
The Weak Normalization of the Simply Typed lambda-se-calculus. |
Logic Journal of the IGPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Karim Nour |
A completeness result for a realisability semantics for an intersection type system. |
Ann. Pure Appl. Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule reviews. |
Comput. J. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells |
Restoring Natural Language as a Computerised Mathematics Input Method. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells |
Narrative Structure of Mathematical Texts. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
The Gradual Computerisation of Mathematics in MathLang. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Roel Bloo |
De Bruijn's syntax and reductional behaviour of lambda-terms: the untyped case. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Roel Bloo |
De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Capsule Reviews. |
Comput. J. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Typed lambda-calculi with one binder. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Manuel Maarek, J. B. Wells |
Toward an Object-Oriented Structure for Mathematical Text. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Manuel Maarek, J. B. Wells |
MathLang: Experience-driven Development of a New Mathematical Language. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Mathematical Knowledge Management Symposium 2003. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Editorial. |
J. Applied Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Rob Nederpelt |
A Refinement of de Bruijn's Formal Language of Mathematics. |
Journal of Logic, Language and Information |
2004 |
DBLP DOI BibTeX RDF |
mathematical vernacular, weak type theory, formal language, mathematics |
| 1 | Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón |
Second-Order Matching via Explicit Substitutions. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
Higher-Order Unification, Second-Order Matching, Explicit Substitutions |
| 1 | Fairouz Kamareddine, Manuel Maarek, J. B. Wells |
Flexible Encoding of Mathematics on the Computer. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Twan Laan, Rob Nederpelt |
Revisiting the notion of function. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Alejandro Ríos |
Explicit substitutions à la de Bruijn: the local and global way. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Twan Laan, Rob Nederpelt |
Automath and Pure Type Systems. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Herman Geuvers, Fairouz Kamareddine |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón |
On Automating the Extraction of Programs from Termination Proofs. |
Revista Colombiana de Computación |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Qiao Haiyan |
Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF. |
J. Autom. Reasoning |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | J. B. Wells, Detlef Plump, Fairouz Kamareddine |
Diagrams for Meaning Preservation. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, François Monin |
An Extension of an Automated Termination Method of Recursive Functions. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tijn Borghuis, Fairouz Kamareddine, Rob Nederpelt |
Formalizing Belief Revision in Type Theory. |
Logic Journal of the IGPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Twan Laan, Rob Nederpelt |
Types in logic and mathematics before 1940. |
Bulletin of Symbolic Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Alejandro Ríos |
Pure Type Systems with de Bruijn Indices. |
Comput. J. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Special Issue Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn - Preface. |
J. Autom. Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt |
Parameters in Pure Type Systems. |
LATIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
On Functions and Types: A Tutorial. |
SOFSEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Editorial. |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Fairouz Kamareddine |
Unification via the lambda se-Style of Explicit Substitutions. |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Editorial. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Twan Laan, Rob Nederpelt |
Refining the Barendregt Cube Using Parameters. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Roel Bloo, Rob Nederpelt |
De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms. |
PPDP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Jan Willem Klop |
Editorial. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
Postponement, conservation and preservation of strong normalization for generalized reduction. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Alejandro Ríos |
Relating the [lgr][sgr]- and [lgr]s-styles of explicit substitutions. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Fairouz Kamareddine |
Unification via se-style of explicit substitution. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
higher order unification, lambda-calculus, explicit substitution |
| 1 | Fairouz Kamareddine, Roel Bloo, Rob Nederpelt |
On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, François Monin |
On Automating Inductive and Non-inductive Termination Methods. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, François Monin |
On Formalised Proofs of Termination of Recursive Functions. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine |
The Soundness of Explicit Substitution with Nameless Variables. |
Int. J. Found. Comput. Sci. |
1998 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Alejandro Ríos |
Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi. |
Logic Journal of the IGPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos |
Explicit Substitutions for the Lambda-Calculus. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")