Christophe Raffalli

Available identifiers

Publication	Date of Publication	Type
Machine Deduction	2023-12-08	Paper
Isotopic piecewise affine approximation of algebraic or $C^1$ varieties	2023-03-13	Paper
On a question of supports	2022-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4685318	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	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	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	2004-10-27	Paper
Getting results from programs extracted from classical proofs	2004-10-01	Paper
System ST toward a type system for extraction and proofs of programs	2003-08-13	Paper
Completeness, minimal logic and programs extraction	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4525290	2001-01-22	Paper
A semantical storage operator theorem for all types	1998-03-25	Paper

This page was built for person: Christophe Raffalli