BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nederpelt:Rob

Contributed to:

RTA 20042004
FLOPS 20012001
PPDP 20012001
CADE 19801980

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.