F. van Raamsdonk

dr.

19962013
If you made any changes in Pure these will be visible here soon.

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Fingerprint Dive into the research topics where F. van Raamsdonk is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 6 Similar Profiles
Type Theory Mathematics
Term Mathematics

Research Output 1996 2013

Proceedings of the 24th International Conference on Rewriting Techniques and Applications

van Raamsdonk, F., 2013, Dagstuhl, Germany: LIPICS. 367 p.

Research output: Book / ReportBookAcademicpeer-review

Dynamic Dependency Pairs for Algebraic Functional Systems

Kop, C. L. M. & van Raamsdonk, F., 2012, (Accepted/In press) In : Logical Methods in Computer Science.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Higher Order Termination: Automatable Techniques for Proving Termination of Higher-Order Term Rewriting Systems

Kop, C. L. M., 2012

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Proceedings of the 7th International Workshop on Developments of Computational Methods

van Raamsdonk, F., Kashefi, E. & Krivine, J., 2012, Zuerich, Switserland: Electronic Proceedings in Theoretical Computer Science. 100 p. (EPTCS; no. 88)

Research output: Book / ReportBookAcademicpeer-review

Higher Order Dependency Pairs for Algebraic Functional Systems

Kop, C. L. M. & van Raamsdonk, F., 2011, Proc. 22th Conference on Rewriting Techniques and Applications. Schmidt-Schauß, M. (ed.). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 203-218

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

Activities 2000 2000

  • 3 Membership
  • 3 Lecture / Presentation

Constructor subtyping in the calculus of inductive constructions

F. van Raamsdonk (Speaker)
13 Sep 2000

Activity: Lecture / PresentationAcademic

RTA (External organisation)

F. van Raamsdonk (Member)
2000

Activity: MembershipAcademic

Constructor subtyping in the calculus of inductive constructions

F. van Raamsdonk (Speaker)
18 Jan 2000

Activity: Lecture / PresentationAcademic

CL (External organisation)

F. van Raamsdonk (Member)
2000

Activity: MembershipAcademic

IPA (External organisation)

F. van Raamsdonk (Member)
2000

Activity: MembershipAcademic