# Pierre Letouzey

According to our database

Collaborative distances:

^{1}, Pierre Letouzey authored at least 10 papers between 2000 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

CoRR, 2024

2015

CoRR, 2015

2008

Proceedings of the Logic and Theory of Algorithms, 2008

2006

Stud Logica, 2006

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

2005

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).

PhD thesis, 2004

Proceedings of the Programming Languages and Systems, 2004

2002

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

2000

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