Pierre Letouzey

Publication Activity (10 Years)

Years Active: 2000-2015
Publications (10 Years): 0

Top Topics

Decision Making

Top Venues

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Pierre Letouzey
Hofstadter's problem for curious readers. CoRR (2015)
Pierre Letouzey
Extraction in Coq: An Overview. CiE (2008)
Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg
Program Extraction from Normalization Proofs. Stud Logica 82 (1) (2006)
Luís Cruz-Filipe, Pierre Letouzey
A Large-Scale Experiment in Executing Extracted Programs. Calculemus (2005)
Jean-Christophe Filliâtre, Pierre Letouzey
Functors for Proofs and Programs. ESOP (2004)
Pierre Letouzey
A New Extraction for Coq. TYPES (2002)
Pierre Letouzey, Laurent Théry
Formalizing Stålmarck's Algorithm in Coq. TPHOLs (2000)