Pierre Letouzey

According to our database, Pierre Letouzey authored at least 9 papers between 2000 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Hofstadter's problem for curious readers.

Pierre Letouzey

CoRR, 2015

2008

Extraction in Coq: An Overview.

Pierre Letouzey

Proceedings of the Logic and Theory of Algorithms, 2008

2006

Program Extraction from Normalization Proofs.

Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg

Stud Logica, 2006

Coq.

Laurent Théry, Pierre Letouzey, Georges Gonthier

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

2005

A Large-Scale Experiment in Executing Extracted Programs.

Luís Cruz-Filipe, Pierre Letouzey

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

2004

Programmation fonctionnelle certifiée : L'extraction de programmes dans l'assistant Coq. (Certified functional programming : Program extraction within Coq proof assistant).

Pierre Letouzey

PhD thesis, 2004

Functors for Proofs and Programs.

Jean-Christophe Filliâtre, Pierre Letouzey

Proceedings of the Programming Languages and Systems, 2004

2002

A New Extraction for Coq.

Pierre Letouzey

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2000

Formalizing Stålmarck's Algorithm in Coq.

Pierre Letouzey, Laurent Théry

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000