Travelled to:1 × France
1 × Germany
1 × Italy
1 × Japan
Collaborated with:F.Kamareddine H.Geuvers ∅ T.Laan R.Bloo
Talks about:barendregt (1) calculus (1) approach (1) theorem (1) paramet (1) equival (1) syntax (1) rewrit (1) reduct (1) lambda (1)
Person: Rob Nederpelt
DBLP: Nederpelt:Rob
Contributed to:
2004
2001
2001
1980Wrote 4 papers:
- RTA-2004-GeuversN #deduction
- Rewriting for Fitch Style Natural Deductions (HG, RN), pp. 134–154.
- FLOPS-2001-KamareddineLN #parametricity #using
- Refining the Barendregt Cube Using Parameters (FK, TL, RN), pp. 375–390.
- PPDP-2001-KamareddineBN #equivalence #syntax
- De Bruijn’s Syntax and Reductional Equivalence of λ-Terms (FK, RB, RN), pp. 16–27.
- CADE-1980-Nederpelt #approach #proving #theorem proving #λ-calculus
- An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus (RN), pp. 182–194.