Rob Nederpelt - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2022

Characteristics of de Bruijn's early proof checker AutomathHerman Geuvers, Rob Nederpelt. FUIN, 185(4):313-336, 2022. [doi]

2012

*Fairouz Kamareddine, Twan Laan, Rob Nederpelt. In Dov M. Gabbay, Francis Jeffry Pelletier, John Woods, editors, Logic: A History of its Central Concepts. Volume 11 of Handbook of the History of Logic, pages 451-511, Elsevier, 2012. [doi]

2004

2003

Revisiting the notion of functionFairouz Kamareddine, Twan Laan, Rob Nederpelt. jlp, 54(1-2):65-107, 2003. [doi]

Automath and Pure Type SystemsFairouz Kamareddine, Twan Laan, Rob Nederpelt. ENTCS, 85(7):30-49, 2003. [doi]

2002

Parameters in Pure Type SystemsRoel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt. latin 2002: 371-385 [doi]

Formalizing Belief Revision in Type TheoryTijn Borghuis, Fairouz Kamareddine, Rob Nederpelt. igpl, 10(5):461-500, 2002. [doi]

Types in logic and mathematics before 1940Fairouz Kamareddine, Twan Laan, Rob Nederpelt. bsl, 8(2):185-245, 2002. [doi]

2001

Refining the Barendregt Cube Using ParametersFairouz Kamareddine, Twan Laan, Rob Nederpelt. FLOPS 2001: 375-390 [doi]

De Bruijn s Syntax and Reductional Equivalence of Lambda-TermsFairouz Kamareddine, Roel Bloo, Rob Nederpelt. ppdp 2001: 16-27

1999

On Pi-Conversion in the lambda-Cube and the Combination with AbbreviationsFairouz Kamareddine, Roel Bloo, Rob Nederpelt. APAL, 97(1-3):27-45, 1999.

1998

Dijkstra-Scholten Predicate Calculus: Concepts and MisconceptionsLex Bijlsma, Rob Nederpelt. ACTA, 35(12):1007-1036, 1998. [doi]

1996

The Barendregt Cube with Definitions and Generalised ReductionRoel Bloo, Fairouz Kamareddine, Rob Nederpelt. iandc, 126(2):123-143, 1996.

A Useful lambda-NotationFairouz Kamareddine, Rob Nederpelt. TCS, 155(1):85-109, 1996. [doi]

Canonical Typing and Pi-Conversion in the Barendregt CubeFairouz Kamareddine, Rob Nederpelt. JFP, 6(2):245-267, 1996.

A modern elaboration of the ramified theory of typesTwan Laan, Rob Nederpelt. sLogica, 57(2/3):243-278, 1996.

1995

Refining Reduction in the Lambda CalculusFairouz Kamareddine, Rob Nederpelt. JFP, 5(4):637-651, 1995.

1994

A Unified Approach to Type Theory Through a Refined lambda-CalculusFairouz Kamareddine, Rob Nederpelt. TCS, 136(1):183-216, 1994.

1993

On Stepwise Explicit SubstitutionFairouz Kamareddine, Rob Nederpelt. ijfcs, 4(3):197-240, 1993.

1980

An Approach to Theorem Proving on the Basis of a Typed Lambda-CalculusRob Nederpelt. cade 1980: 182-194

Sign in or sign up to see more results.

runs on WebDSL