View Scopus Profile

dr. F van Raamsdonk

Assistant Professor, Faculty of Science, Theoretical Computer Science
Assistant Professor, Network Institute
Assistant Professor, Theoretical Computer Science

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

3 Membership
3 Lecture / Presentation

3 results
- Title
- Start date(ascending)

Filter

Termination in simply typed lambda calculus
F. van Raamsdonk (Speaker)
14 Jan 2000
Activity: Lecture / Presentation › Academic
Constructor subtyping in the calculus of inductive constructions
F. van Raamsdonk (Speaker)
18 Jan 2000
Activity: Lecture / Presentation › Academic
Constructor subtyping in the calculus of inductive constructions
F. van Raamsdonk (Speaker)
13 Sep 2000
Activity: Lecture / Presentation › Academic

Your message has successfully been sent.

Your message was not sent due to an error.