• 234
    Citations - based on content available in repository [source: Scopus]
1970 …2022

Content available in repository

Filter
Conference contribution

Search results

  • 2004

    A path to faithful formalizations of mathematics

    Jojgov, G. I. & Nederpelt, R. P., 2004, Mathematical Knowledge Management (Proceedings Third International Conference, MKM2004, Bialowieza, Poland, September 19-21, 2004). Asperti, A., Bancerek, G. & Trybulec, A. (eds.). Berlin: Springer, p. 145-159 (Lecture Notes in Computer Science; vol. 3119).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • Faithfully reflecting the structure of informal mathematical proofs into formal type theories

    Jojgov, G. I., Nederpelt, R. P. & Scheffer, M., 2004, Proceedings of the Mathematical Knowledge Management Symposium 2003 (Edinburgh, UK, November 25-29, 2003). Elsevier, p. 102-117 (Electronic Notes in Theoretical Computer Science; vol. 93).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    66 Downloads (Pure)
  • Rewriting for Fitch style natural deductions

    Geuvers, J. H. & Nederpelt, R. P., 2004, Rewriting Techniques and Applications (Proceedings 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004). Oostrom, van, V. (ed.). Berlin: Springer, p. 134-154 (Lecture Notes in Computer Science; vol. 3091).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
  • 2003

    Automath and pure type systems

    Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2003, Proceedings Mathematics, Logic and Computation (Eindhoven, The Netherlands, July 4-5, 2003). p. 30-49 (Electronic Notes in Theoretical Computer Science; vol. 85).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Downloads (Pure)
  • 2002

    Parameters in pure type systems

    Bloo, C. J., Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2002, LATIN 2002: theoretical informatics proceedings 5th Latin American symposium, Cancun, Mexico, April 3-6, 2002. Rajsbaum, S. (ed.). Berlin: Springer, p. 371-385 (Lecture Notes in Computer Science; vol. 2286).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • 2001

    Belief revision with explicit justifications : an exploration in type theory

    Borghuis, V. A. J., Kamareddine, F. & Nederpelt, R. P., 2001, Intelligent Agent Technology (Proceedings of the 2nd Asia-Pacific Conference on IAT, Maebashi City, Japan, October 23-26, 2001). Zhong, N., Liu, J., Ohsuga, S. & Bradshaw, J. (eds.). World Scientific, p. 69-73

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • De Bruijn's syntax and reductional equivalence of lambda-terms

    Kamareddine, F., Bloo, C. J. & Nederpelt, R. P., 2001, Proceedings Third International Conference on Principles and Practice of Declarative Programming (PPDP01, Florence, Italy, September 5-7, 2001)). Nicola, De, R. (ed.). Association for Computing Machinery, Inc, p. 16-27

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • Refining the Barendregt cube using parameters

    Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2001, Functional and logic programming : proceedings 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Kuchen, H. & Ueda, K. (eds.). Berlin: Springer, p. 375-389 (Lecture Notes in Computer Science; vol. 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
  • 1990

    Type systems : basic ideas and applications

    Nederpelt, R. P., 1990, Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990). Amsterdam: Centrum voor Wiskunde en Informatica, p. 367-383

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1982

    The signal value of words in mathematical phrasing

    Nederpelt, R. P., 1982, Proceedings 6th Conference of the International Group "Psychology of Mathematics Education". Vermandel, A. (ed.). Antwerpen: UIA, p. 108-111

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1980

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

    Nederpelt, R. P., 1980, 5th Conference on Automated Deduction (CADE, Les Arcs, France, July 8-11, 1980). Bibel, W. & Kowalski, R. A. (eds.). Berlin: Springer, p. 182-194 13 p. (Lecture Notes in Computer Science; vol. 87).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    12 Citations (Scopus)
  • 1977

    Presentation of natural deduction

    Nederpelt, R. P., 1977, Set Theory and Foundations of Mathematics (Proceedings of the Symposium, Belgrade 1977). p. 115-126 (Zbornik Radova Matematicki Institut. Nova Serija; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Downloads (Pure)
  • 1970

    Automath, a language for checking mathematics with a computer

    Nederpelt, R. P., 1970, Tagung über formale Sprachen (Oberwolfach, Germany, August 30-September 5, 1970). Bonn: Gesellschaft für Mathematik und Datenverarbeitung, p. 27-29

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review