pith. sign in

Ren\'e David (LAMA)

Identifiers

  • name variant Ren\'e David (LAMA) 0.60 · backfill

Papers (12)

  1. Strong normalization results by translation math.LO · 2009 · author #1
  2. Counting proofs in propositional logic math.LO · 2009 · author #1
  3. A direct proof of the confluence of combinatory strong reduction math.LO · 2009 · author #1
  4. A short proof of the strong normalization of the simply typed $\lambda\mu$-calculus math.LO · 2009 · author #1
  5. Why the usual candidates of reducibility do not work for the symmetric $\lambda\mu$-calculus math.LO · 2009 · author #1
  6. Arithmetical proofs of strong normalization results for the symmetric $\lambda \mu$-calculus math.LO · 2009 · author #1
  7. An arithmetical proof of the strong normalization for the $\lambda$-calculus with recursive equations on types math.LO · 2009 · author #1
  8. A syntactical proof of the operational equivalence of two $\lambda$-terms math.LO · 2009 · author #1
  9. Arithmetical proofs of strong normalization results for symmetric lambda calculi math.LO · 2009 · author #1
  10. A short proof of the Strong Normalization of Classical Natural Deduction with Disjunction math.LO · 2009 · author #1
  11. A short proof that adding some permutation rules to beta preserves SN math.LO · 2009 · author #1
  12. Asymptotically almost all \lambda-terms are strongly normalizing math.LO · 2009 · author #1

Mentions

  • 0905.2892 #1 · backfill · confidence 0.70 Ren\'e David (LAMA)
  • 0905.2880 #1 · backfill · confidence 0.70 Ren\'e David (LAMA)
  • 0905.2545 #1 · backfill · confidence 0.70 Ren\'e David (LAMA)
  • 0905.1557 #1 · backfill · confidence 0.70 Ren\'e David (LAMA)
  • 0905.1554 #1 · backfill · confidence 0.70 Ren\'e David (LAMA)
  • 0905.1034 #1 · backfill · confidence 0.70 Ren\'e David (LAMA)
  • 0905.1032 #1 · backfill · confidence 0.70 Ren\'e David (LAMA)
  • 0905.0769 #1 · backfill · confidence 0.70 Ren\'e David (LAMA)
  • 0905.0762 #1 · backfill · confidence 0.70 Ren\'e David (LAMA)
  • 0905.0760 #1 · backfill · confidence 0.70 Ren\'e David (LAMA)
  • 0904.2955 #1 · backfill · confidence 0.70 Ren\'e David (LAMA)
  • 0903.5505 #1 · backfill · confidence 0.70 Ren\'e David (LAMA)

Frequent Coauthors