Christophe Raffalli

According to our database, Christophe Raffalli authored at least 15 papers between 1993 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2019

Practical Subtyping for Curry-Style Languages.

Rodolphe Lepigre, Christophe Raffalli

ACM Trans. Program. Lang. Syst., 2019

2018

Abstract Representation of Binders in OCaml using the Bindlib Library.

Rodolphe Lepigre, Christophe Raffalli

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2018

2016

Subtyping-Based Type-Checking for System F with Induction and Coinduction.

Rodolphe Lepigre, Christophe Raffalli

CoRR, 2016

2010

MathAbs: a representational language for mathematics.

Muhammad Humayoun, Christophe Raffalli

Proceedings of the FIT '10, 2010

2009

Some properties of random lambda terms

René David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc

Log. Methods Comput. Sci., 2009

2008

Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work).

Christophe Raffalli, Frédéric Ruyer

Fundam. Informaticae, 2008

2006

PhoX.

Christophe Raffalli, Paul Rozière

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

2004

Getting results from programs extracted from classical proofs.

Christophe Raffalli

Theor. Comput. Sci., 2004

An experiment concerning mathematical proofs on computers with French undergraduate students.

René David, Christophe Raffalli

J. Appl. Log., 2004

2003

Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic.

Karim Nour, Christophe Raffalli

Theor. Comput. Sci., 2003

System ST toward a type system for extraction and proofs of programs.

Christophe Raffalli

Ann. Pure Appl. Log., 2003

System ST \beta-reduction and completeness.

Christophe Raffalli

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2001

Completeness, minimal logic and programs extraction.

Christophe Raffalli

Theor. Comput. Sci., 2001

1998

A Semantical Storage Operator Theorem for All Types.

Christophe Raffalli

Ann. Pure Appl. Log., 1998

1993

Data Types, Infinity and Equality in System AF₂.

Christophe Raffalli

Proceedings of the Computer Science Logic, 7th Workshop, 1993