Christophe Raffalli

16 papers A* 1B 1Misc 1Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2019 J jnl
Practical Subtyping for Curry-Style Languages.
ACM Trans. Program. Lang. Syst.
Rodolphe Lepigre, Christophe Raffalli
2018 — conf
Abstract Representation of Binders in OCaml using the Bindlib Library.
LFMTP@FSCD
Rodolphe Lepigre, Christophe Raffalli
2016 J jnl
Subtyping-Based Type-Checking for System F with Induction and Coinduction.
CoRR
Rodolphe Lepigre, Christophe Raffalli
2010 Misc conf
MathAbs: a representational language for mathematics.
FIT
Muhammad Humayoun, Christophe Raffalli
2010 J jnl
MathNat - Mathematical Text in a Controlled Natural Language.
Res. Comput. Sci.
Christophe Raffalli, Muhammad Humayoun
2009 J jnl
Some properties of random lambda terms
Log. Methods Comput. Sci.
René David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc
2008 J jnl
Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work).
Fundam. Informaticae
Christophe Raffalli, Frédéric Ruyer
2006 — ch.
PhoX.
The Seventeen Provers of the World
Christophe Raffalli, Paul Rozière
2004 J jnl
An experiment concerning mathematical proofs on computers with French undergraduate students.
J. Appl. Log.
René David, Christophe Raffalli
2004 J jnl
Getting results from programs extracted from classical proofs.
Theor. Comput. Sci.
Christophe Raffalli
2003 J jnl
Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic.
Theor. Comput. Sci.
Karim Nour, Christophe Raffalli
2003 A* conf
System ST \beta-reduction and completeness.
LICS
Christophe Raffalli
2003 J jnl
System ST toward a type system for extraction and proofs of programs.
Ann. Pure Appl. Log.
Christophe Raffalli
2001 J jnl
Completeness, minimal logic and programs extraction.
Theor. Comput. Sci.
Christophe Raffalli
1998 J jnl
A Semantical Storage Operator Theorem for All Types.
Ann. Pure Appl. Log.
Christophe Raffalli
1993 B conf
Data Types, Infinity and Equality in System AF
CSL
Christophe Raffalli