Christophe Raffalli

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Abstract representation of binders in OCaml using the Bindlib library	2025-08-19	Paper
Machine Deduction Lecture Notes in Computer Science	2023-12-08	Paper
Isotopic piecewise affine approximation of algebraic or C¹ varieties	2023-03-13	Paper
On a question of supports European Journal of Mathematics	2022-10-21	Paper
The mathematical proofs. Complete course with 127 solved exercises. With a preface by Gilles Dowek	2018-10-05	Paper
Practical Subtyping for System F with Sized (Co-)Induction	2016-04-07	Paper
Distance to the discriminant	2014-04-29	Paper
Asymptotically almost all \lambda-terms are strongly normalizing Logical Methods in Computer Science	2013-04-09	Paper
Realizability of the axiom of choice in HOL. (An analysis of Krivine's work)	2008-11-03	Paper
An experiment concerning mathematical proofs on computers with French undergraduate students Journal of Applied Logic	2004-10-28	Paper
Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic Theoretical Computer Science	2004-10-27	Paper
Getting results from programs extracted from classical proofs Theoretical Computer Science	2004-10-01	Paper
System ST toward a type system for extraction and proofs of programs Annals of Pure and Applied Logic	2003-08-13	Paper
Completeness, minimal logic and programs extraction Theoretical Computer Science	2001-08-20	Paper
scientific article; zbMATH DE number 1555190 (Why is no real title available?)	2001-01-22	Paper
A semantical storage operator theorem for all types Annals of Pure and Applied Logic	1998-03-25	Paper

Research outcomes over time

This page was built for person: Christophe Raffalli