Christophe Raffalli

Statistics

Publications

Citations

H-Index

Active since

2004

Affiliations

Laboratoire d’Analyse et de Mathématiques Appliquées(Current)

Université Savoie Mont Blanc

Christophe Raffalli is an author at Laboratoire d’Analyse et de Mathématiques Appliquées specializing in computer science, proof theory, and mathematics.

Publications per year

2004–2013

Publications

Asymptotically almost all \\lambda-terms are strongly normalizing

René David, Katarzyna Grygiel, Jakub Kozik et al. · Jagiellonian University Repository (Jagiellonian University) · 2013 · 30 citations

Natural Sciences, Computer Science, Mathematics +5

Getting results from programs extracted from classical proofs

Christophe Raffalli · Theoretical Computer Science · 2004 · 13 citations

Computing, Computer Science, Formal Methods +11

MathAbs

Muhammad Humayoun, Christophe Raffalli · 2010 · 10 citations

Humanities, Computer Science, Mathematics +16

1–3 of 3