MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Pierre Letouzey – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Functors for Proofs and Programs
by Jean-Christophe Filliatre, Pierre Letouzey — 2003
…Functors for Proofs and Programs Jean-Christophe Fillitre and Pierre Letouzey LRI CNRS UMR 8623…
Cited by 7 (1 self) – Add To MetaCart

Implicit and noncomputational arguments using monads
by Pierre Letouzey, Bas Spitters — 2005
…Implicit and noncomputational arguments using monads Pierre Letouzey 1 and Bas Spitters ⋆2 1…
Cited by 2 (1 self) – Add To MetaCart

Program extraction from normalization proofs
by Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg — 1993 — Typed Lambda Calculi and Applications, number 664 in Lecture Notes in Computer Science
…Program extraction from normalization proofs Ulrich Berger, Stefan Berghofer, Pierre Letouzey…
Cited by 51 (3 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB