|
Search the dblp DataBase
Pierre Letouzey:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jean-Christophe Filliâtre, Pierre Letouzey
Functors for Proofs and Programs. [Citation Graph (0, 0)][DBLP] ESOP, 2004, pp:370-384 [Conf]
- Pierre Letouzey, Laurent Théry
Formalizing Stålmarck's Algorithm in Coq. [Citation Graph (0, 0)][DBLP] TPHOLs, 2000, pp:388-405 [Conf]
- Laurent Théry, Pierre Letouzey, Georges Gonthier
Coq. [Citation Graph (0, 0)][DBLP] The Seventeen Provers of the World, 2006, pp:28-35 [Conf]
- Pierre Letouzey
A New Extraction for Coq. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:200-219 [Conf]
- Luís Cruz-Filipe, Pierre Letouzey
A Large-Scale Experiment in Executing Extracted Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:151, n:1, pp:75-91 [Journal]
- Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg
Program Extraction from Normalization Proofs. [Citation Graph (0, 0)][DBLP] Studia Logica, 2006, v:82, n:1, pp:25-49 [Journal]
Extraction in Coq: An Overview. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|