Rob Nederpelt

Research output

Content available in repository 1970 1994 2022

• 30 Report
• 24 Article
• 13 Conference contribution
• 7 Chapter
• 7 More
  • 5 Book
  • 1 Book editing
  • 1 Phd Thesis 1 (Research TU/e / Graduation TU/e)

Content available in repository

Content available in repository

Search results

• 2002

  Weak Type Theory : a formal language for mathematics

  Nederpelt, R. P., 2002, Eindhoven: Technische Universiteit Eindhoven. 74 p. (Computer science reports; vol. 0205)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  555 Downloads (Pure)
• 2000

  Belief revision with explicit justifications: an exploration in type theory

  Borghuis, V. A. J. & Nederpelt, R. P., 2000, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computing science reports; vol. 0017)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  81 Downloads (Pure)

• Characterizing lambda-terms with equal reduction behavior

  Kamareddine, F., Bloo, R. & Nederpelt, R. P., 2000, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computing science reports; vol. 0016)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  83 Downloads (Pure)

• Parameters in pure type systems

  Laan, T. D. L., Bloo, R., Kamareddine, F. & Nederpelt, R. P., 2000, Eindhoven: Technische Universiteit Eindhoven. 41 p. (Computing science reports; vol. 0018)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  174 Downloads (Pure)
• 1996

  Predicate calculus : concepts and misconceptions

  Bijlsma, A. & Nederpelt, R. P., 1996, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science reports; vol. 9621)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  526 Downloads (Pure)
• 1994

  Beyond Beta-reduction in Church's lambda-arrow

  Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science notes; vol. 9420)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  105 Downloads (Pure)

• Canonical typing and pi-conversion

  Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 51 p. (Computing science notes; vol. 9402)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  106 Downloads (Pure)

• Canonical typing and pi-conversion in the Barendregt cube

  Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computing science reports; vol. 9436)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  115 Downloads (Pure)

• On Pi-conversion in type theory

  Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computing science reports; vol. 9447)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  88 Downloads (Pure)

• Refining reduction in the lambda calculus

  Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computing science notes; vol. 9418)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  269 Downloads (Pure)

• The Barendregt cube with definitions and generalised reduction

  Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 37 p. (Computing science reports; vol. 9434)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  271 Downloads (Pure)

• The lambda-cube with classes of terms modulo conversion

  Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computing science reports; vol. 9446)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  131 Downloads (Pure)

• The object-oriented paradigm

  America, P. H. M., Kammen, van der, M., Nederpelt, R. P., Roosmalen, van, O. S. & Swart, de, H. C. M., 1994, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computing science notes; vol. 9401)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  93 Downloads (Pure)
• 1993

  A semantics for a fine lambda-calculus with de Bruijn indices

  Kamareddine, F. & Nederpelt, R. P., 1993, Eindhoven: Technische Universiteit Eindhoven. 49 p. (Computing science notes; vol. 9328)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  593 Downloads (Pure)
• 1992

  A unified approach to type theory through a refined lambda-calculus

  Nederpelt, R. P. & Kamareddine, F., 1992, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computing science notes; vol. 9218)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  91 Downloads (Pure)

• A useful lambda notation

  Nederpelt, R. P. & Kamareddine, F., 1992, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computing science notes; vol. 9222)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  267 Downloads (Pure)

• On stepwise explicit substitution

  Nederpelt, R. P. & Kamareddine, F., 1992, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computing science notes; vol. 9208)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  278 Downloads (Pure)

• The fine-structure of lambda calculus

  Nederpelt, R. P., 1992, Eindhoven: Technische Universiteit Eindhoven. 104 p. (Computing science notes; vol. 9207)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  252 Downloads (Pure)
• 1991

  Implication : a survey of the different logical analyses of "if..., then..."

  Swart, de, H. C. M. & Nederpelt, R. P., 1991, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science notes; vol. 9102)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  139 Downloads (Pure)
• 1985

  De ideeën achter Automath

  Nederpelt, R. P., 1985, Eindhoven: Technische Hogeschool Eindhoven. 10 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; vol. 8512)

  Research output: Book/Report › Report › Popular

  Open Access

  File
  63 Downloads (Pure)
• 1980

  An approach to theorem proving on the basis of a typed lambda-calculus

  Nederpelt, R. P., 1980, Eindhoven: Technische Hogeschool Eindhoven. 14 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; vol. 8001)

  Research output: Book/Report › Report › Popular

  Open Access

  File
  213 Downloads (Pure)

• A system of lambda-calculus possessing facilities for typing and abbreviating: part II : formal description

  Nederpelt, R. P., 1980, Eindhoven: Technische Hogeschool Eindhoven. 7 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; vol. 8011)

  Research output: Book/Report › Report › Popular

  Open Access

  File
  46 Downloads (Pure)

• Ervaringen met de wiskundige omgangstaal WOT

  Benthem Jutting, van, L. S., Donkers, J. G. M., Meeuwen, van, W. H. J. H., Nederpelt, R. P., Nieuwkasteele, van, C. P. & Udding, J. T., 1980, Eindhoven: Technische Hogeschool Eindhoven. 23 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; vol. 8009)

  Research output: Book/Report › Report › Popular

  Open Access

  File
  108 Downloads (Pure)

• Sentences in the language of reasoning

  Nederpelt, R. P., 1980, Eindhoven: Technische Hogeschool Eindhoven. 15 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; vol. 8018)

  Research output: Book/Report › Report › Popular

  Open Access

  File
  164 Downloads (Pure)

• Signaalwoorden in bewijstaal

  Nederpelt, R. P., 1980, Eindhoven: Technische Hogeschool Eindhoven. 21 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; vol. 8014)

  Research output: Book/Report › Report › Popular

  Open Access

  File
  589 Downloads (Pure)
• 1979

  A system of lambda-calculus possessing facilities for typing and abbreviating: part 1 : informal introduction

  Nederpelt, R. P., 1979, Eindhoven: Technische Hogeschool Eindhoven. 17 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; vol. 7902)

  Research output: Book/Report › Report › Popular

  Open Access

  File
  136 Downloads (Pure)
• 1978

  Bewijszinnen

  Nederpelt, R. P., 1978, Eindhoven: Technische Hogeschool Eindhoven. 27 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; vol. 7810)

  Research output: Book/Report › Report › Popular

  Open Access

  File
  57 Downloads (Pure)
• 1977

  Een aanzet tot bewijsanalyse

  Nederpelt, R. P., 1977, Eindhoven: Technische Hogeschool Eindhoven. 9 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; vol. 7714)

  Research output: Book/Report › Report › Popular

  Open Access

  File
  44 Downloads (Pure)

• Presentation of natural deduction

  Nederpelt, R. P., 1977, Eindhoven: Technische Hogeschool Eindhoven. 16 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; vol. 7716)

  Research output: Book/Report › Report › Popular

  Open Access

  File
  121 Downloads (Pure)
• 1976

  Some transformations on trees and codes which preserve equivalences of the type $((A\ast B)\circ C)\sim((A\ast C)\circ B)$

  Nederpelt, R. P., 1976, Eindhoven: Technische Hogeschool Eindhoven. 18 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; vol. 7610)

  Research output: Book/Report › Report › Popular

  Open Access

  File
  49 Downloads (Pure)