Skip to main navigation
Skip to search
Skip to main content
Vrije Universiteit Amsterdam Home
Help & FAQ
Home
Profiles
Research units
Research output
Courses
Projects
Datasets
Activities
Prizes / Grants
Press / Media
Search by expertise, name or affiliation
Termination in simply typed lambda calculus
van Raamsdonk, F.
(Speaker)
Theoretical Computer Science
Theoretical Computer Science
Activity
:
Lecture / Presentation
›
Academic
Period
14 Jan 2000
Event title
Tsukuba University seminar
Event type
Seminar
X