Seguir
Fairouz Kamareddine
Fairouz Kamareddine
E-mail confirmado em hw.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
A λ-calculus à la de Bruijn with explicit substitutions
F Kamareddine, A Ríos
International Symposium on Programming Language Implementation and Logic …, 1995
1281995
A modern perspective on type theory: from its origins until today
FD Kamareddine, T Laan, R Nederpelt
Springer Science & Business Media, 2004
1062004
Extending a λ-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms
F Kamareddine, A Rìos
Journal of Functional Programming 7 (4), 395-420, 1997
961997
The Barendregt cube with definitions and generalised reduction
R Bloo, F Kamareddine, R Nederpelt
Information and Computation 126 (2), 123-143, 1996
721996
Computerizing mathematical text with mathlang
F Kamareddine, JB Wells
Electronic Notes in Theoretical Computer Science 205, 5-30, 2008
692008
A refinement of de Bruijn's formal language of mathematics
F Kamareddine, R Nederpelt
Journal of Logic, Language and Information 13, 287-340, 2004
672004
A useful λ-notation
F Kamareddine, R Nederpelt
Theoretical Computer Science 155 (1), 85-109, 1996
651996
On stepwise explicit substitution
F Kamareddine, R Nederpelt
International Journal of Foundations of Computer Science 4 (03), 197-240, 1993
611993
Types in logic and mathematics before 1940
F Kamareddine, T Laan, R Nederpelt
Bulletin of Symbolic Logic 8 (2), 185-245, 2002
512002
Logical reasoning: a first course
RP Nederpelt, F Kamareddine
King's College Publications, 2004
482004
Relating the λσ- and λs-styles of explicit substitutions
F Kamareddine, A Rios
Journal of Logic and Computation 10 (3), 349-380, 2000
422000
Unification via the λse-style of explicit substitutions
M Ayala-Rincón, F Kamareddine
Logic Journal of the IGPL 9 (4), 489-523, 2001
412001
On π-conversion in the λ-cube and the combination with abbreviations
F Kamareddine, R Bloo, R Nederpelt
Annals of Pure and Applied Logic 97 (1-3), 27-45, 1999
411999
Mathlang: Experience-driven development of a new mathematical language
F Kamareddine, M Maarek, JB Wells
Electronic Notes in Theoretical Computer Science 93, 138-160, 2004
342004
Calculi of generalised β-reduction and explicit substitutions: The type free and simply typed versions
F Kamareddine, A Rıos, JB Wells
J. Funct. Logic Programming 5, 1998
331998
Canonical typing and∏-conversion in the Barendregt Cube
F Kamareddine, R Nederpelt
Journal of Functional Programming 6 (2), 245-267, 1996
331996
Narrative structure of mathematical texts
F Kamareddine, M Maarek, K Retel, JB Wells
International Conference on Mathematical Knowledge Management, 296-312, 2007
322007
Refining reduction in the lambda calculus
F Kamareddine, R Nederpelt
Journal of Functional Programming 5 (4), 637-651, 1995
311995
Reviewing the Classical and the de Bruijn Notation for λ‐calculus and Pure Type Systems
F Kamareddine
Journal of Logic and Computation 11 (3), 363-394, 2001
272001
Flexible encoding of mathematics on the computer
F Kamareddine, M Maarek, JB Wells
International Conference on Mathematical Knowledge Management, 160-174, 2004
252004
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20