`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:

### Wrote 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.