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
1181995
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
921997
A modern perspective on type theory: from its origins until today
FD Kamareddine, T Laan, R Nederpelt
Springer Science & Business Media, 2004
732004
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 (3), 287-340, 2004
672004
A useful λ-notation
F Kamareddine, R Nederpelt
Theoretical Computer Science 155 (1), 85-109, 1996
671996
The Barendregt cube with definitions and generalised reduction
R Bloo, F Kamareddine, R Nederpelt
Information and Computation 126 (2), 123-143, 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
482002
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
Relating the λσ- and λs-styles of explicit substitutions
F Kamareddine, A Rios
Journal of Logic and Computation 10 (3), 349-380, 2000
412000
Logical reasoning a first course
RP Nederpelt, FD Kamareddine
402004
On@ P-conversion in the@ l-cube and the combination with abbreviations
F Kamareddine, R Bloo, R Nederpelt
Annals of Pure and Applied Logic 97 (1-3), 27-46, 1999
401999
Calculi of Generalised β-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions
F Kamareddine, A Ríos, JB Wells
331997
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
322004
Canonical typing and∏-conversion in the Barendregt Cube
F Kamareddine, R Nederpelt
Journal of Functional Programming 6 (2), 245-267, 1996
321996
Refining reduction in the lambda calculus
F Kamareddine, R Nederpelt
Journal of Functional Programming 5 (4), 637-651, 1995
301995
Narrative structure of mathematical texts
F Kamareddine, M Maarek, K Retel, JB Wells
Towards Mechanized Mathematical Assistants, 296-312, 2007
292007
Postponement, conservation and preservation of strong normalization for generalized reduction
F Kamareddine
Journal of Logic and Computation 10 (5), 721-738, 2000
262000
Flexible encoding of mathematics on the computer
F Kamareddine, M Maarek, JB Wells
International Conference on Mathematical Knowledge Management, 160-174, 2004
242004
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20